erldocker->docker (for the public mod), split into 4 files