Welcome! Please see the About page for a little more info on how this works.
I was going through this file and came across these lines.
Is it fine to remove these and submit a pull request or are there enough binaries still in use from 9 years ago (when those comments were added) to warrant keeping them?
No, that would break code aot compiled with those versions. We see no value in doing that.