[documentation] Normalize typesetting conventions, add some
introductions.