regarding shorting luna it is not only bigshortbets raising potential issues with Luna / Anchor
please see: https://youtu.be/mSXFDkyl_Cc

I guess you can read summary about the BigShortBets on: https://bigshortbets.com/idea/
or white paper on: https://bigshortbets.com