Clear HTML5 storage in Samsung Internet?
Never mind. I found it:

Menu - Settings - Advanced - Manage website data

This list distinguishes between normal and https, and I failed to find the item as it was saved from a page without https, while the site generally is served with https. So 2 entries, the one was the one with the big size.

Problem solved!