Comments moved thither. Thanks!

Yes, this is a duplicate post created by a new account who seems to have copied my post from <https://lobste.rs/s/hjipba>. I have emailed the moderators to ask if they can mark this as duplicate and merge the comments here into the other thread.

Also discussed here: https://news.ycombinator.com/item?id=47427858

Yes, they are duplicates, although the links themselves are distinct. The current post points to my website, whereas the other points to my Git project. But they are indeed duplicates, in the sense that both refer to the same project.

Further, this post is from a new account with no posting history that has copied my submission (along with the exact wording) from <https://lobste.rs/s/hjipba/>. Copying the wording is no problem at all. I appreciate the visibility this post is bringing to this rather little project of mine. But I am not sure whether this post was made by a genuine user or by a bot. Any clarification from the poster or the moderators would be helpful.

I am also worried that one or both of these submissions may get flagged as duplicates. I had submitted the project myself earlier today at <https://news.ycombinator.com/item?id=47422759> but it did not gain any traction. I have emailed the moderators to ask whether it would be possible to merge the multiple stories into one.