All correct. Referring to WSB as (having ever been) "nice people" also seems an odd way to view the sub. The entire fun of WSB has always been the 4chan humor coupled with the gravity of real money.

I doubt that pro traders are buying simple calls and puts like WSB. But selling them those options when groupthink takes over might be profitable, indeed.