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

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.