Merge branch 'release/v3.1.51' into develop
I need lowercasing on all definitions and anchor references.
Merge remote-tracking branch 'remotes/upstream/develop' into gh-pages
Merge pull request #199 from silviapfeiffer/gh-pages

Lowercasing dfn and a links