Fix #822: Add setting to disable or batch inliner