Close a whole bunch of documentation-related tickets: