A proposal to add dinosaur codepoints to Unicode