RenPy-TranslationTool History Date Short description 09/2023 better Ajaxsearch 08/2023 fixed HTML-formating