Bug 1026: checkbox to always use IE
No bug: version bump