[WIP] Doc tweaks