Remember the commit I did 1½ minutes ago? I now did the same for the "~status::theorycrafting" label