Estás utilizando un navegador obsoleto. Este u otros sitios web pueden no ser mostrados correctamente. Debes actualizarlo o utilizar un navegador alternativo.
A mi me ha gustado Doxr, no es un gestor documental, pero es perfecto para localizar toda la documentación aunque esté distribuida en varios equipos. Además tiene una versión gratuita. www.doxr.net