The Senior Executive Service shrank by just under 5.0% between December 2016 and 2019 before growing by 4.0% in 2020.