John R. Hogerhuis Sat, 24 Apr 2021 18:25:50 -0700
Yeah but that's not really politics. The end.
-- John.