To be fair, the original comment said other platforms should add this, and border-radius has been widely supported for at least 15 years. You'd have to look hard for a browser that needs it to be added.