Is it possible to keep him out of school until an alternative becomes available? He seems to be suffering a lot, and probably won’t learn much anyway if he’s stressed out by his environment. What alternatives would be available where you live? If you find it hard to research for yourself, maybe there’s some official organism that offers support or an association/self-help group of people in the same situation?
In my family the intensity of spectrum varies, of the youngest generation there’s one boy who did normal school without problems, the other needs support in pre-school and might not be sent into mainstream education. There’s nothing wrong with either option, it’s whatever fits the child best. Don’t force a solution that doesn’t work.
Good documentation makes me happy, bad documentation makes me run away. I suspect I’m not the only person who not only reads the fucking manual but thinks writing good technical documentation is an art of its own. Good luck with trying to replace proper documentation with profuse gibberish.