darcs patch: Split known-extensions off into their own type, and re...