If you ever run into something concerning here is a neat little website: https://www.sec.gov/whistleblower/submit-a-tip