Audacity could not read its default theme

Found a bit of (old) documentation about theming Audacity:

http://wiki.audacityteam.org/wiki/Theming_HowTo
and
https://forum.audacityteam.org/t/request-skin/747/1