remove references to outdated FSF address

Also minor tweaks to formatting.