For caving, the third video is interesting. It supports my feeling that the SRT rope that absorbs the least water is probably the best from all practical and safety angles. If you don’t normally go down wet caves then this is obviously moot. From weighing it is self-evident that the softer ropes I have absorb more water. The Gleistein is worse than Spelenium Gold for instance.
A long time ago there was a rope that had a sheath over the core. Can’t remember what it was called. Not sure if that is the optimum solution (any water that gets in never leaves?), but it was an idea.
Like the guy said, dry treatment wears off, possibly quite quickly if used for caving I suspect.
I would pay a premium for rope that didn’t absorb much water.