Yeah, I considered that, but I thought it would clutter the Find dialogue. In addition, I think this is the sort of setting you set and forget, but maybe that's just me...
—Reply to this email directly or view it on GitHub.