LastRanker/PTMD: Guessing at the actual header format, don't think it's 100% right but works decently enough.
AutoExtract: Optional-ize some options, add deep PTMD search.