OK, a manual pull worked. Turns out that the update script is in my home directory, which isn't accessible without a kerberos ticket. That's fixed up.
It's a trivial matter to have this do a git pull instead, so if the fvwm-web repository on github is up to date, then just let me know and I'll switch over. - J<
