@danbenjamin I guess the rumors were true. You really are @gruber’s arch-nemesis.