sphinx/gettext madness (but the js of the theme is now FINALLY translated)