Ha, I love this!

I have something similar for confluence. I'm the only known user though, it's probably full of bugs.

https://github.com/AdrianVollmer/Congruence