Actually, I think these should just be ordinary `SystemRewriteOptions` level options.