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