Add some more flexibility to the preferences documentation, allow
documenting the same preference in more than one place.