Yeah the details are kinda weird (although i wonder if there is some reasoning behind that because Windows also has the same off-by-one-pixel thing - and even more confusingly it is done through the same API call but it is a special case when you use a null pen) but for me the most important thing is that they are there and you can safely rely on that they are there despite the weirdness.