Change all explicitly created <a name="..."> anchors to lowercase

GitHub Flavored Markdown requires these anchors to be all-lowercase for
markdown-style links within the document to work.

Also change one anchor that uses '*' which isn't valid in HTML or
Markdown.

And rename duplicate anchor res-macros to res-macros3.

Author: jwakely