Closed
Description
This documentation needs updating in a very similar way to user-db.html.
It should be safe to assume that the retrospectively added minor version number will be the same, with the exception of version 7, which is not present in the user database.