alias sleeves_folded_up -> sleeves_rolled_up

Posted under Tags

The bulk update request #10902 has been approved by @nonamethanks.

create alias sleeves_folded_up -> sleeves_rolled_up

Seems this distinction was forced by user #107595 10 years ago, because I can't find any discussion about it. In any case, any pretense of distinction is demolished by looking at the actual usage of the tags (as if users are going to count the drawn folds to decide what to tag!).
It's yet another case of people just using one or the other based on their personal preference.

There's also sleeves pushed up, idk if we want to merge that too but at the very least these two have to be folded/rolled up together.