in the navigation bar of the devel documentation most top-level links are uniform, except the following:
- Software Heritage — Archive ChangeLog
- Software Heritage Journal — Specifications
We should rename them to something like:
- Archive ChangeLog
- Journal specification