Batch of miscellaneous corrections

* Updated local list of groups (`lib/groups-db.json`) using the script `tools/fetch-groups-db.js`.
* Tiny fixes in documentation text.
* Removed a deprecated (commented-out) block of code.