Developer docs tidy 3

This clears up the remaining nitpicks in the developer documentation which were spotted on rebased PRs (#247 and #252) by Mark and JM.