Reworded this and related commits slightly in 2546c531c4effd10dd5e9c04d5debc2eb41c870e.

The "magic property" is the `property(...)` that I create for getting and setting the value for an option in a config.