@ref{Publications}: what we wrote, and have had written about us.
@item
-@ref{Old news}: an archive.
+@ref{News}: an archive.
@item
@ref{Attic}: announcements and changelogs from past versions.
@node 旧闻
@unnumberedsec 旧闻
-@translationof Old news
+@translationof News
@divClass{heading-center}
@warning{Many old announcements and changelogs can be found in