Separated wartremover settings; see #23 for explanation of the warts choice