Profile: remove unnecessary paths.
Git: ignore reddis dump.