@Gargron@mastodon.social As usual, the fine, if happening, will be a small fraction of their annual revenue. So, it'll be more a tax for doing business than exactly a fine.