@robjohn: It would be great if you could post the bookmarklet together with a short description of how to install it as an answer
here. It doesn't look as if the supreme powers of SO are thinking about implementing it, and having a bookmarklet allowing us to trigger compilation manually is certainly much better than nothing.