"python: rstrip one exact string, respecting order","""""""Boat.txt.txt"""""".replace('.txt', '')"