[Mazzen]

Had a quick look at the article and this immediately caught my eye. Leave the PR open! The maintainer might need a few more days to respond or might eventually reconsider. Also do not forget about other developers interested in the project. I've more than once merged PRs locally to profit from them before they were merged. Last but not least, open PRs are a good health indicator, I have to agree there.