The listing of July martyrs was never meant to be just another bureaucratic formality.