gnugo: fix html docs