Ok, to the person who proposed that after modifying this config file, one should not do anything on the Kindle and should restart immediately... for the changes to stick. You are right. The reason is that: there is default values for these which are drawn from /opt/amazon/ebook/prefs/com.amazon.ebook.booklet.reader/reader.pref.default.
On my DX they are: