Redis and Adminer appear to have been updated too, but I can’t find a release for them, so they don’t get their own listing for discussion.