Tools for helping translation of documentation
