3 ms·

Just open omni.js and search around, shortcuts are hardcoded in code in many places. I don't know about design document, just about reality.