Leftypedia has been restored! See our announcement.
List of types of options to reset when the $1reset option is set.