sorry Mark, but i not think that the full
preferences.txt
is supposed to be published/distributed, like i think it contains your unique update id .…
may be you cut out just the changed color part? and post it at the github?
( and a user might edit / replace manually? ( oh this goes wrong ?? )
// or just forget this comment, sorry i talked you into this!