dropping capitals from file-names as capitalization is important for links