Figured I'd potentially regret not doing it by the books more than I'd regret being achy and tired for a day or 2.
So let us know in a few days how #2 compared to #1.
When I had googled this a couple weeks ago, I found many people posting "I had covid, and had a strong reaction to the first vaccine dose, should I skip the second?" But I found almost nobody following up with what they decided, and whether the response to the second dose would be worse, better, or the same as the first.