baf0fed6056b5d8cb4e198969ebf9ff917ae2260  tetwiki-20240801-redirect.sql.gz