effectfully

/benchmark plutus-benchmark:validation

^ -4% > Just making sure I didn't screw up any git-related stuff. OK, I don't understand how our benchmarking infrastructure works. I was getting different results in a PR...

/benchmark plutus-benchmark:validation

^ @michaelpj stuck again?

^ still -4% > Looks like it triggered an auto-gc and then it took too long so it got cancelled?? I cancelled it after 5 hours, 'cause I wasn't sure...

/benchmark plutus-benchmark:validation

Ready for review.

Comments addressed (I think). @michaelpj do you still find something in here confusing? Should I update the docs or something?

Wait, it seems like I forgot to push. One sec.

> Wait, it seems like I forgot to push. One sec. Done.