<div dir="ltr">> <span style="font-size:14px"> I don't actually think we need to </span><span style="font-size:14px">have a human-editable format.</span><div><br></div><div>.. store settings as serialized Haskell type, and use custom (non-official) viewers / editors to display them formatted to user preferences?<br>​</div><div>sounds good.</div></div>