What's with the hate for Thomas Astuc?

[removed]