Update 9/27: The options menu is now accessible from the game pause menu. Also, the Enter key is now hardcoded to activate the selected menu item. If you assigned any game action to Enter, you may want to reassign it.
