I'd like to take over maintainership of the dice and lambdabot packages so that I can take care of GHC 9 support (https://github.com/lambdabot/dice/pull/2 and https://github.com/lambdabot/lambdabot/pull/204). The GitHub repo has been inactive since November 2021. I have contacted the current maintainer on IRC, where he is active, but he hasn't answered. Cheers