Obviously I’m not alone with this issue: https://community.ipfire.org/t/hostnames-on-green-network-not-recognised/2202