A little bird told me that this hint containing a script that eases editing Latex under OSX with gvim comes from inside HUJI.

Now all we need is for whoever writes websites in the university to start respecting web standards (a whole lot of the public HUJI websites don’t work unless your using Internet Explorer on the PC, Leaving Firefox and Safari users out in the cold), and things will be much better…

Nice work Mitmit!!