extensions: add a Tips section to the Quick Settings guide
This information is already in the porting guide, where it is probably best suited. Move it out of the general documentation, into a "Tips" section at the bottom, where we can put version-sensitive tips and suggestions.
closes #64 (closed)
Edited by Andy Holmes