Should the `become-a-maker/docker-integration` page be deleted?

[DeflateAwning]

Should this page about the old miner in Docker be deleted? It seems to be talking exclusively about the archived helium/miner repo.

[jthiller]

The whole maker section is due for an overhaul. I'd want to handle this as part of a broader rework.