Merge branch 'www' of git.sv.gnu.org:/srv/git/xboard into www