They’ve since added a refresh button if you check the GitHub history. Both my previous comments were valid at the time of posting them, so again I don’t understand the downvotes-I suspect it’s a personal thing as it’s happened to many of my recent comments.