Thanks, but from a bit of research it's not clear to me: does this mean that it's possible to use TypeScript to type-check javascript files which include these annotations, without using .ts at all?

Yes, by using --allowJS and --checkJS switches (can also be set in tsconfig.json).

Thanks a lot - will try this!