Thanks! Probably in this case, easier for @cskwg to just edit it back to its previous state manually, but it's good to know the technique! Just to be clear, `<commit-id>` is the commit prior to the change you want to revert, right?