Description Numbas editor before 7.3 mishandles reading of themes and extensions. References https://github.com/numbas/Numbas https://www.numbas.org.uk/blog/2024/03/development-update-march-2024/