namespaced options variables?

[René J.V. Bertin]

Hi,

In one of my PGs I use(d) options variables called `dev::XXX`. 

This worked with base 2.7.1 but it seems something was changed in the way these options variables are managed which causes an unknown variable error to be thrown when you try to read them but no error when you try to define them.

There was never an actual namespace, tbh, so renaming them to `dev.XXX` is not a real problem. But is it possible to use namespaced options variables or if not, shouldn't there be an error if you something like below?

{{{
options dev::XXX
default dev::XXX {[whatever]}
}}}

R