Remove obsolete godoc mappings; add comment on how to change godoc window size