I can't tell if this is satire or a hidden advertisement for various tui browsers? A project that is a "popular tui browser" (for the literally dozens of people that use tui browsers?) does not have ownership claim to the name of a big cat genus which has 4k+ other results on GitHub with the same name.
Lynx is a well-known project which has been around for far longer than Github even existed - since 1992, in fact - which is in any case irrelevant, since it's not developed on GitHub: the commits for ThomasDickey/lynx-snapshots are snapshots of the code from the website proper.
Removed the star count as any sort of “evidence” to popularity - the point still stands though. It feels absurd to claim a name being “reused,” or implied stolen, when the name is a generic animal name.