Defeat stupid proxies that don't recognise no-cache
Update configure.in (again)
Fix some typos and other cosmetic stuff
Integrate all port patches back into the main source archive
options `start' and `stop' now (unless I have forgotten any). This allows
us to call the scripts from /etc/rc.shutdown with the correct option.
The (42 or so) ports that already DTRT before are unchanged.
