Remove disabled flip_upside_down function; it has been unused for ages.