More gear->docker renaming.