[PATCH 4/8] debian: Update copyright format link to use HTTPS