border

Not awfully productive today. I did write four fresh pages on why people shouldn’t use rainbow colormaps, but then couldn’t concentrate well anymore in the afternoon.