Y'all must have missed the lawsuit over the Arduino trademark a couple years back between Arduino LLC (arduino.cc) and Arduino SRL (arduino.org). They ended it by forming a merged holding company, but the fight lasted for years. Given that history, I suspect the current company is quite willing to defend the Arduino trademark. The hardware is open source, no problem there, but they DO own the name.
That was completely different. It wasn't the original Arduino suing a cloner, it was the manufacturing arm of Arduino called Smart Projects which got sold to Federico Musto, who then renamed the company to "Arduino SRL" claimed exclusive manufacturing and sales rights to Arduino branded products,
and sued the original Arduino designers (Arduino LLC).
https://en.wikipedia.org/wiki/Arduino#Trademark_disputeIn fact, Arduino have never sued any cloners, although they did bitch quite a lot in the early days, they don't like it but are pretty resigned to it.
As for not being able to use the word "Arduino" in a a listing, that''s just bollocks. As long you
a) don't pass off your product as being made by Arduino
b) call it something like "AVR board, compatible with Arduino Uno"
c) ideally acknowledge the trademark "Arduino Uno is a trademark of Arduino AG"
you will be on perfectly legal grounds, and no one from Arduino legal reps are going to write nasty letters or get your listing pulled.