@johncarlosbaez@mathstodon.xyz a welcome move but merely a dent in their > €2B yearly budget (< 0.1%).