Add a new (hidden) option that is useful for profiling.