system
A chat on subreddit /r/wallstreetbets
human
I don't know how common those terms are used interchangeably, probably not very. You're not taking a short position in puts because the loaner isn't short the shares. Buying puts is just bearish. Shorting comes into play when someone loans shares and is thus 'short' the shares. The short position is immediately selling the shares and then buying those shares when the price falls to cover the margin.

gpt
Yes, which is why I said its not technically correct.