namespaced options variables?

[Ryan Carsten Schmidt]

On Aug 9, 2024, at 16:58, René J.V. Bertin wrote:
> 
> 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?

Lots of portgroups use namespaced variables. You do of course need to declare the namespace first.