Move this to "Util", since it will be a very rarely used option.