If I have bug reports, should I make GitHub issues for them?
1) @role="nonfatal" I think is not understood as a warning, and gets you the usual red underline/error presentation. I feel like warn and/or info might be better. Oxygen's supported role levels seem to be:"warn" or "warning" "error" "fatal" "info" or "information"
2) default values for required attributes are flagged. I can sort of see the logic there, but they're not *really* the same thing.
Heh-heh. My first reactions were “then you should not be using this schema” and “too bad”, respectively. But thinking about it more, the definition of @source only says that the "tei:*" format is preferred when you are using a private URI scheme, not over regular URIs. Hmmm … what do others think? I lean towards thinking it is more important to catch "TEI:4.1.0" or "tei: 4.1.0" as errors than to allow full URIs. (Remember, the purpose here is to help someone write a TEI customization ODD; nothing more.) But I might be putting too much weight on it.3) non-"tei:" schemes in @source are discouraged, but what if your source isn't a TEI release? I've got a couple of these, and I'd like to be able to put a URI in there without being yelled at.