Ich verwende mittlerweile eine dritte Option: "normale" Dokumente.
Ich nenne sie Einstellungsdokumente und verwalte damit zentrale wie benutzerbezogene Einstellungen.
Gut, ich habe einen geringen mehr Aufwand bei "Wiederfinden" des Dokuments, aber die Vorteile entschädigen auf jeden Fall.
Markus