system
A chat on /r/wallstreetbets
human
I agree if it goes to grey market should still be able to sell Puts.  
  
 Maybe not for full value, but I'm sure their are institutions that would be happy to buy them for $1 and deal with exercising on grey market.

gpt
Just got off the other subreddit, you may be able to transfer your options to another broker like TD.