I have the same annoyance with random companies advertising lifetime warranties. Not only are they rarely really granted, but also are they only for the lifetime of the company...

Feel free to link your PRs, happy to take a look.

As said in other comment, my PRs are using my real name and my HN account does not, so I don’t want to connect the two by linking my PRs.