A huge tax on BTC miners didn’t make it into a deal to resolve the battle, and a separate provis...