htdocs: minor updates of gsoc