Somehow I lost all my preferences when I cancelled the startup of Audacity too soon: they then ceased to be remembered. Restarting the computer didn’t fix it.
I had an Audacity keys.xml file lying about so I restored by keyboard bindings. But that’s not a complete solution.
How can I backup all of my preferences? Is there a convenient way in the menus or must I hunt for a file and copy it.