Heya,

On Wed Dec 7, 2022 at 1:42 PM GMT, mirai wrote:
> It already does! The second commit introduces the bulk of the changes :)

Oops :) Reviewing now...

    -- (