I suppose it would be better to produce error markers for invalid option names. That would be consistent with what the compiler plugin does (fail the compile goal). But I don't know how to do that here.