Remove a rather useless Documentation.txt file