Having those separately makes it a lot easier to keep the list
synchronized with the website, which doesn't use the same style file
as dune-common.