(Comment above updated in GitHub, please read there!)