> Thanks, so I've now installed these changes on the master branch, and
> I'm therefore closing this bug.
>

Thank you, this works! ( I am not sure if it's fine for me to reply to a
closed bug, but just wanted to express my gratitude :) ).