This issue serves as a public, open to all, discussion forum for what the date should be for DNS Flag Day 2020. (I will make a summary of the discussion below...)