(this is out of curiosity, it doesn't matter much for this PR to be merged)