It'd be nice to have a way for making the relationship between a global option configured via the new option system and the corresponding property more obvious.