I don't understand what point you are trying to make in that first paragraph.
Well, you say that a maximum of 40Vpp is possible at the input (BNC).
That corresponds to 14.4Vrms with sine wave respectively 144Vrms in 10x mode.
That would be far less than the European 230 volts.
I'm not sure if that's right.
I mean, my pathetic Fnirsi DSO-TC2 can do that -> Attachment
Plus Zeeweii writes in the manual:
4.How to measure 220V mains?
Answer: First remove the USB cable (isolation), then adjust the probe to the 10X
position, adjust the vertical sensitivity to 100V, and adjust the time base to 10ms, and
then connect the probe to the neutral wire and the live wire (be careful!).
So the specifications are probably in Vrms.