Oops, I forgot that I had automatic cross-posting on and re-cross-posted myself accidentally. What thrills can come from recklessly typing text into a box and pressing buttons on a screen!