Hey, I've noticed that the netboot ISOs (mini.iso) aren't produced or generated after the 26-10-2019.
You can see on this link that mini.iso is available:
and on all days before the 26th but after that the ISO isn't available.
Is this a normal behavior?