Yes, but still there would be a discrepancy of ~100M OS between the filing and the reported (needs to come clear) BUT also his shares if sold would be reported as unrestricted, yet, that number (373M) remained the same since 2022
either way the SS is great but the reporting smells right now (maybe he responds by email to this)