ah, you want to use the `is_defined` stuff for `ConfigVariables` too? are you sure they're only set once and then never tweaked again? I'll guess we'll know soon enough if I try it... ;-)