The Arduino IDE is pretty friendly, so it doesn’t try to install things like boards for all users, since that would require root. The board package you loaded winds up in your home directory ...
Smart Projects SRL, controlled by one of the founders, was tasked with the actual production of the boards ... fees keep flowing. Fast-forward to September 2014, when Arduino LLC filed a lawsuit ...