[dev-context] Re: Where is \typescriptthree documented?]