Thanks for the report, it got removed early by accident. It should be back now.
I saw it!
… in the meantime ratings just officially ended, but it seems we can keep rating somewhat, and we’ll get top 15 results in 3h and all results in 6h so I suppose we can keep the banner for that time!
