very minor point: I am not sure whether the package citation should have author = {{Thomas J. Leeper}},, but rather author = {Thomas J. Leeper}, ? With double {{ latex will cite as Thomas J. Leeper 2024 in text instead of Leeper 2024?