3 ms·

Or in a lot of cases you can use github's edit button ;)

• besselheim 10y ago
  Agreed, it's much easier for quick bugfixes on code that you otherwise don't want to invest your time into.