In addition to #13091 regarding HyperDev, apparently HyperDev is no longer HyperDev. Our codebase should be updated to reflect the new name GoMix (or gomix). Otherwise, campers will be running around like developers with their heads cut off trying to find something that does not exist.

The current references to HyperDev are in the APIs and Microservices section primarily