Some tweaks, fixes, and new tooltips for the "Options" tab.