On Sat, 7 May 2022, xucheng...@loongson.cn wrote: > +<h3 id="LoongArch">LoongArch</h3>
I usually recommend all lowercase for HTML ids. That is only a recommendation, though, and if you strongly prefer "LoongArch" over "loong" or "loongarch" that is fine. Okay, thanks. Gerald
