Currently, options objects are not correctly pickled, as the storage of option values (and value stacks) is not local to option manager instances.