Rounded Corners for Dashboard Global Filters

Following the July 2024 release Gainsight Home widgets, reports, and global filters got a nice slick redesign with rounded corners. However, I noticed in dashboards that while widgets and reports have rounded corners, global filters don’t which makes them feel a little clunky and unfinished. Are there plans to make dashboard global filters have rounded corners? It’s a small request compared to the rest but I wanted to put it out there.