In the Linux terminal, I initially entered the following command:

tail -n +80 numbers.txt

After realizing that I made a mistake and actually wanted to use +70 instead of +80, I wanted to correct it. To do this, I moved the cursor to the digit '8' and then entered '7', which inserted '7' before '8', resulting in '780'. To achieve '70', I needed to delete the '8'. However, this process seemed slow to me. Is there a way to directly replace the '8' with '7' in a single step, like simply replacing the '8' with '7'?