doc: various formatting improvements.