More details regarding "step #0" (setting up the Koneki environment)