You are right of course. But I expect that valve will come up with proton-on-arm with x86 translation very soon (in fact possibly next week-ish when they release the frame).