Silly signs: “no diving” made me look around for a diving board, quay side, rocks, whatever. A bit like “do not feed the elephant”. Rest assured: I didn’t. Dive that is. Won’t tell about the elephant though.