Add 'github' source.
Don't muffle *standard-output* during preparation of a local dist server.