Hi, I've executed `make distclean' but there are still modified *.po files. Is there a way to revert those changes other than doing `git reset --hard HEAD', i.e. make <some>clean? Thanks