| 19:24 | <Michael Ficarra> | 😠implementers don't use the "can run user code" feature |
| 19:26 | <bakkot> | we should write a "how to read the spec" doc |
| 19:26 | <bakkot> | that has, like, that |
| 19:26 | <bakkot> | also, it's just occurred to me that we are currently manually doing that "can run user code" for [[GetPrototypeOf]] etc invocations, and with https://github.com/tc39/ecma262/pull/3912 that could start to be automatic, with some extra work |
| 19:28 | <nicolo-ribaudo> | We should maybe show a hint on how to see the help box somewhere more visible than knowing to press ? |
| 19:28 | <nicolo-ribaudo> | Like, at the top/bottom of the sidebar |
| 19:29 | <bakkot> | possibly also that but there's a bunch of other knowledge around e.g. the References pane, pins, etc |