do we know if devs ever removed herobrine?