problem solved, and a new one
Problem was a hairline crack in the filler tube, starting from the base where the supply line gasket meets the filler and going up vertically. I was in denial that a piece of the new toilet could be defective, especially such an expensive toilet; but following the...