helium/docs

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

Opened this issue · 1 comments

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

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