<!--
name: 'Tool Description: Bash (alternative — edit files)'
description: Bash tool alternative: use Edit for file editing instead of sed/awk
ccVersion: 2.1.53
variables:
  - EDIT_TOOL_NAME
-->
Edit files: Use ${EDIT_TOOL_NAME} (NOT sed/awk)