They'll get written when we do the ticket to make CREATE PROCEDURE work.  Not concerned about updating their failure at the moment.