Thank you for your great explanation, it's super interesting. I read Raspbian has a patched openbox that has aliased rounded corners.

I believ it uses this patch https://github.com/dylanaraps/openbox-patched