rename txt file, as it bugs me seeing it in the middle of my source
files