I wonder what the rationale is for different border radii in #Gnome. It always bugs me for some reason…