Maximized windows are very likely not rounded to multiples of 200x100.
Nevertheless, it is probably not uncommen for users to maximize their
windows as they are used to. We should at least warn them until a
proper fix is in place (see #14429 for an idea).