The wiki still has libreriscv as its title, that needs to be changed to "Libre-SOC" or similar.
It looks as if someone fixed this. In a few days I will mark this as resolved unless someone points out where it says libreriscv I am looking at: https://libre-soc.org/about_us/
yeah i believe so. only the git repo remains now and that's something of a pain.