Do you think the crocs were called so because of the bumpy texture of their skin? Gritty?
yes, the greek kroke is defined in my M-W10th as meaning shingle or pebble.
but, i never use the word shingle to mean a gravelly stretch of beach, particularly the sea coast. (but i'm sure many from the UK would say "then what ever do you call it?" i know the word (PD James "holy orders" (is it?) but the East coast has sandy beached (except way up in maine) so we just don't have to many shingles! here a shingle is something on your roof, unless your have a wood (shakes) or tiles, or tin (and no one has a tin roof, its always a standing seam tin roof, or a flat seamed tin roof, or some other modifier-- plain old tin roofs just don't exist! whoops, this is going off topic, maybe i'll copy it to misc, and we can discuss building parts!
but getting back to shingle as gravel, or a strip of gravel on a beach, yes, i feel sure that the bumby texture of the the croco's skin is the reason it is a kroke dilas!
and i think it the texure of the wrinkles in seersucker, (a gravelly texture) that it behind the name of the fabric.
