no
unfortunately, I played with it (coqbook) and now it’s smaller
doesn’t seem like it
sounds fun tbh