doc: various cleanups