translation: improving sphinx generation semantics and tools