Add a todo item formal_braille_spec_repo