Good.

Only wayland RISC-V 64bits binaries from now on, even for the web.

We don't need anything else anymore.