id summary reporter owner description type status priority milestone component resolution keywords cc 1623 Batch delete for Trac tickets SergeyBiryukov "There's been an influx of spam in Core Trac lately, and deleting ~20 tickets one by one is not fun. Any chance to introduce a batch delete option?" enhancement closed lowest Trac maybelater