@sebastianlewis Yeah, that's a great page. The keys do work in other apps, though. Just not in Safari (sometimes).
@sebastianlewis Yes, as far as I can tell.
Not sure what's going on: for quite a while now the Home/End/PageUp/PageDown keys have stopped working in Safari some time after rebooting.