It was properly autoblocked as far as I can see, therefore no ticket was needed. It worked as described here:
https://fedoraproject.org/wiki/How_to_remove_a_package_at_end_of_life#Koji

Oops, I fail at reading comprehension. (I think I saw the shiny blue ticket link in that section of the wiki and just assumed that part hadn't changed.) Sorry for the noise!

Thanks for all your work in improving this process, BTW. It's ''much'' nicer now. :-)