Merging, but I do not think they are going to be reflected right away in the interface (since this requires to fiddle in the DB)
Pull-Request has been merged by misc
I suppose it must be some time, since the description of koji-its-over-9000.yml is already correct, but the website is still wrong.
koji-its-over-9000.yml
In fact, that typo was fixed 7 years ago.