Ah, I remembered his name, but had forgotten that it was called Timsort, thanks.

Interesting that others also used it.