Re: [PATCH] drm/vboxvideo: Replace HTTP links with HTTPS ones