There’s been some redesigning of this website going on over the past few days, and it isn’t quite done yet. Please pardon the formatting glitches.