fly.io dns responds with released dedicated ip v4

Found this old forum post from 2020, suggesting that releasing a dedicated IP should in fact update the fly.dev dns, which obviously did not happen in my case What happens when you remove a dedicated IP? - #5 by kurt. so, is it a bug then?