There isn’t an option to re-enable. When I raised this point at "Move to Trash" confirmation message I was told to delete the Preferences file, meaning that all my preferences would be lost and have to be re-set by hand. This isn’t considered to be an inconvenience apparently.