Github Waffle repository makes no mention of the new home at freedesktop.org
I had a very old Waffle clone I wanted to refresh, still pointing to https://github.com/waffle-gl/waffle . I noticed the commits stopped in 2017, but the front page still looks like it's the right place. This confused me and took me a while to find the new home, particularly when Google search seems to still prefer the github site. Searching for "waffle gl egl" has no link to freedesktop.org at all on the first page for me.
Could the old repository be made to mention the new home?