Minor: We can rename it to be simply `paper`. It might make some git output easier to read. _Originally posted by @molikuner in https://github.com/q231950/btlb/pull/1#discussion_r2112672056_