As JSpecify is still in early stages, the link you followed has brought you to a draft document, which we are using for ease of editing. In the unspecified future this will become markdown hosted at jspecify.org, and as we update links we will make them into deep-links to the appropriate section (sorry that for now you were brought only to the top).
Project members: please edit at will; comment only if unsure of a change.
Can’t you see that nullness annotations are ugly, and we’d be better off with a String? language feature like Kotlin has?
Yep.