* website maintenance round * improve docs, revert bug workaround as it was fixed * boost memory * remove unnecessary code
* fix a couple of .html extension links * remove trailing slash config * fix redirects, broken links, incorrect anchor link formats