OK, what's (still) missing from https://third-bit.com/notwrong/ ?