Fixes #9418: Docker Registry is now open source

Signed-off-by: Neal McBurnett <neal@mcburnett.org>