Add gov.nl, government.nl, gobiernodireino.nl and gobiernudireino.nl

[willem640]

[welcome[bot]]

Welcome! Congrats on your first pull request to Gman. If you haven't already, please be sure to check out the contributing guidelines.

[request-info[bot]]

Thanks for this. Do you mind providing a bit more information about what problem you're trying to solve?

[willem640]

gov.nl and government aren't included in domains.txt even though they belong to the Dutch government

[willem640]

gobiernodireino.nl and gobiernudireino.nl too, for Papiamento and Papiamentu, respectively

[stale[bot]]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[willem640]

I don't feel like this pull request should be marked as stale, because the issue it solves still exists

Edit: or someone should at least look at it