A proposal to add dinosaur codepoints to Unicode
github.com