@Erik-S I'm afraid that nobody will see a comment on a closed pull request, can you file an issue for this?