Obsolete old RewriteHistory overload
fixup! Introduce RewriteHistoryOptions
fixup! Map rewritten parents to rewritten commits