After having the post flush trickles and removing the Roca cistern lid, I could see no problem, but removed the mechanism, examined and reinstalled.
Upon replacing the buttons they now sat about 4mm lower than the surround, but at least the post flush leak had gone.
Problem then was that...