Fairly small update. Fixes the options-menu problem and also causes automatic display name resets on costume changes (which is used for mods). Also should (hopefully) involve some minor backend memory optimizations.