One can argue that those terms of the OHA are there to protect Android from fragmentation. Still HTC could release a Sailfish phone without Alien Dalvik.