A repo for some shenanigans and the accompanying writeup