For developer convenience, add a few more (commented-out) properties
to the config used by the local devserver, and link to more documentation