% Folks, I've merged all of this stuff into challenges.tex!
