Comment by rwoodley

Of course on a web-site for nerds, commentaters are going to focus on an irrelevant technical detail and miss the larger point.