Sorry; Preferences is under View, not File!

If you want to save a midi to your hard drive you don't need to re-enable RealDownload, just right-click on the link to the file and select "save link as" (Netscape) or "save target as" (IE). That's using PCs; it's different for Macs.