actually remove FULL_TICKETS properly, and tickets.html, again