Improve git-log documentation wrt file filters