Michael's CV is now at mkohler.dev.