> And interestingly, code.overheid.nl runs from a residential ip address.
That’s not what I’m seeing.
IP address is currently 147.181.37.238, which is assigned to ODC-Noord via RIPE.
ODC-Noord is a data centre for national government organisations according to https://www.odc-noord.nl/