The 2020 category was added later in the day after I posted this thread and submitted a request to add the category so you'll find 2020 now in the list of round coins. The name still says 2017-2019 though.
I've also posted this on my small Youtube Vlog, and I also finally saw other vloggers who owns the coin later in the day.