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