Contributors to Comments on 2021-02-06 Unignoring some files by ripgrep