It is not rare that we get problems regarding outdated code samples.

We should create a script that generates temporary TypeScript code from the examples before the type checker runs, so that it can check the code samples as well.