This is great stuff, but what I might add as context is operating income by year. In 2013 they had $201M of operating income on $1,460M of revenue, in 2019 they had $213M of operating income on $1,398M of revenue, and in 2023 they had $460M of operating income on $1,726M of revenue. So operating margin has gone up from 13.7% in 2013, to 15.2% in 2019, to 26.7% in 2023.
They've been remarkably disciplined with opex/SG&A and so while the top-line numbers show a decline, they're much more efficient than they used to be and that's reflected in the bottom line.