Can an Open-Source Project Have Unregistered Trademark Rights? Lessons from LIBBITCOIN CircleID