* commit 'b695e2832d468b1e07e380dc9a51f3f9a81f7f74': Doc change: miscellaneous tag optimizations and edits.