Reverse-engineering MySQL 8.4's GTID_TAGGED_LOG_EVENT | Hacker News Reader