Let's see if CI agrees that these specs no longer need pending