Looks ok to me. Thank you Andrew.The only thing I'd suggest is to use `git mv` next time you rename files. The diff is quite chaotic and not easy to read unfortunately.
I would prefer if you were to send a v5 doing that just to be extra sure that no bugs were introduced in the process.
Reviewed-by: Luca Vizzarro <[email protected]>
