(FYI you've submitted this comment twice about 1.5 minutes apart. I've voted for the older one rather than this one. Mods/dang: maybe the two reply sets should

(FYI you've submitted this comment twice about 1.5 minutes apart. I've voted for the older one rather than this one. Mods/dang: maybe the two reply sets should be merged?)