So, there's still no option to adjust the corner radius?
Nope, hardcoded deep in the OS internals.
Guess changing it is considered an edge-case.
Nope, hardcoded deep in the OS internals.
Guess changing it is considered an edge-case.