Add daxim to contribs, specify main doc encoding
development info is less important than user info
improve mark-up
improve outline by introducing synopsis subheadings