<A target="_blank" href="http://labs.groupwave.be/index.php/2010/08/05/sync-settings-on-traveler-settings-document-not-saved/">Kevin thinks he found a bug on the settings document for Lotus Traveler on Domino 8.5 servers</A>. It seems, unlike with other settings documents, just saving the document doesn't update your changes.