6a10f2f2f1
Both ease() and CSS durations take the slow-down factor into account, so the corners currently end up using the square of the factor in their transition. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2118>