doc: various improvements