I reverse-engineered TraceTogether, for the “right reasons”