The attic-docker Git repo was created before the main attic Git repo was set up.
I'm not sure it makes sense to have a separate repo now, especially since the Docker build needs a copy of the attic_filter.lua script which is maintained in the main attic repo. Not many files are involved, so I think it would make sense to merge attic-docker into attic, and then drop attic-docker. Thoughts? Sebb
