[hypeatei]

I've seen DNS only be refreshed when restarting on embedded devices I work with too. They use a proprietary HTTP library...