Fixes #9418: Docker Registry is now open source

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