Re: [libre-riscv-dev] Removing orphan pages from the wiki