Have there been any IOI 2020 updates after the announcement in which it was confirmed that it will not be happening in July as planned? What are the current options? How many countries are yet to host their team selection olympiads? Will it be postponed to 2021 like ICPC?