Update 0000-placeholder_hole_syntax.md