This is a re-release of v1.13.0, but with the optional tech-ui GUI
moved from being a theme to being a sub-directory under the default
theme. This solves the issue with selecting the tech-ui theme and then
being unable to switch back as this functionality is missing in the
tech-ui.
Bugfixes:
- #7324: Official builds of v1.13.0 come with the Tech Ui, which is impossible to switch back from