Rename 1-hello-world.rs to 001-hello-world.rs