Izzy on Nostr: Indeed, that was a day before the MR I've linked was merged. Then it seems Codeberg ...

Indeed, that was a day before the MR I've linked was merged. Then it seems Codeberg (npub1fh7…ee83) was able to solve the issue without their help – thanks to the Codeberg crew for getting that done amidst their current double-heavy workload! 🙇