b695e283
5153e9b3
03a216f1
ef8c2834
* commit 'b695e2832d468b1e07e380dc9a51f3f9a81f7f74': Doc change: miscellaneous tag optimizations and edits.