Misc documentation improvements