I know we are very wary of AI slop but disclaimer: AI was used. I don't think that it is slop though and it was mostly used for formatting.