This is an interesting and well-reasoned post.

In addition to that, I was pleasantly surprised to see some interactive Python functionality towards the end, to calculate the total tax rates by major tech companies after modifying the tax schedule. Looking at the source, it looks like it's using Pyodide.