Note that this originally happened in 2020 during Trump’s first term. Justice is sometimes slow.