Some smaller modifications (text modifications, new links, etc.) have been made on several pages.