Is this just a one-off, or is it somehow dynamically updated by a script or something?

It's just a one-off copy created from printing it in OS X. I might look into a HTML -> PDF converter for Linux that could generate this if a FAQ is updated. Might be slightly better, with working links and such too.

Anyone have experience with a particular PDF conversion tool in Linux (command line). Bonus points if I can just apt get it since the server runs Debian.