Documentation for stand-alone deriving (Trac #3012)