This already happened on 2023-03-16, but I held off on updating the repo's version a bit long: I wanted to wait a little to batch it up with the next update, but the next update only arrived today, so...