2020 August 10
Updated the User Role Editor plug-in to version 4.56. This is a trivial update affecting only 7 files and changing nothing we use. They added some new capabilities we don't use, and fixed a couple of bungles that don't affect us. We have no local code in this plug-in, so after syntax checking the changes, I simply applied the update kit. After installation, I checked the setting and all appeared to be in order. There have been no problems with the User Role Editor since installation of the version 4.56 update, so I committed the changes (Build 487) and published to GitHub.