RIP Onos! You Shouldn’t Have!