Correct me if I'm wrong, but couldn't you just make an image of the SD card and distribute that, as opposed to having people go through 88 (I counted) steps?
You're right, the instructions are a lot and not trivial but are very useful for the Docker team and hackers that may want to modify the procedure.
We are planning to release pre-built binaries and kernel soon though.
If you want to maintain the idea that RPI is for hobbyists, you should not make it too easy, since these are all things that normal hobbyists used to do, until it became unnecessary.
If nothing else, make sure there is still a dockerfile (for parts where direct access to hardware are not needed, like you would never write a dockerfile that resized the OS partition since that happens outside) and always current up-to-date manual instructions! Thanks for the great work!
I am looking forward to CoreOS on RPI, if that's planned to be a thing! It would be a good reason to buy a bigger SD card, for me.
