Developer manual: add license_headers, migration, random_url
User manual: add ML and IRC links