Document using custom settings.php

This has been missing for a while.
Make sure _to_ commit some code

... also, this is a (hopefully temporary) bug so we will be able to remove this note sometime