Made documentation more beautiful using the novel xbob.extension/documentation.h