2020-09-16 Search and replace tricks with ripgrep