(Also moving the links upper in the file, so that they are more immediate to find, for the reader)