Either way, the darn thing leaks. This was a problem before we left for vacation, and has reared its ugly head more than once in the past couple of years. I think it has reached a head, and may need some serious, if not professional, intervention.
Before we departed for Europe, I simply shut the valve completely, and that took care of it while we were away, but now that we’re back, we can’t really use the toilet, and that toilet is the most frequently used one in the house.
Time to take action. Until then, thanks for reading, and thanks to István Benedek for the pic.