Fix some of the issues with xbob.extension documentation