As is their right, and the right of everyone. Linux is free and open source. The whole beauty of it is that anyone can take it and do what they want with it.