Hacker News Reader

A pun doesn't make a name not trademark infringement.

They seem to have renamed it to BenchUp. Not sure whether that would be sufficient.

It's not even a pun! The original name was barely a pun at all... this just the original name with any semblance of pun removed! Agh!

There is a popular condiment called ketchup. There is a clear pun between Ketchup and KetchUp.

It's not a pun if you use the exact word. SketchUp was the pun.

The original idea was KetchUp (SketchUp) without subscription (S)