Don't have Telegram yet? Try it now!
https://quanta.org.uk/blog/2020/04/05/qbftidy/
QBFtidy