Dummy change to trigger gh-pages rebuild

(Well, setting that value may change, things but in my current setup it
shouldn't)