Ugh, I used github's web flow to edit this, and there seems to be a bug where they don't update the PR. I'll try adding a dummy commit to make this work.