Reversion of my merger of the etymologies of "[[loop]]"

OK, thanks for the clarification (though note that the entry says that the verb comes from the noun, not the other way around). I'm not opposed to treating such derivations as separate etymologies, but I think it's better to be consistent, whatever we do. I won't make any changes either way, however, if there is no solid consensus in place.