Not off topic at all! The title is wrong and should be fixed! All the OP had to do is just copy->paste :^P Maybe it is just me but I find it jarring when some

Not off topic at all! The title is wrong and should be fixed! All the OP had to do is just copy->paste :^P Maybe it is just me but I find it jarring when someone decides "Nah, copy /paste is for shumucks, I'll type it all myself." and then does a silly typo some people's brains go like "Huh!? That doesn't look right. What's an 'artic'?". Tip for HN - look what https://lobste.rs/ https://lobste.rs/ is doing: you paste the URL, and it gets the title for you. What kind if witchcraft is that!? ;^)