"Why did Linus Torvalds change the Linux code name to ""Linux for Workgroups"" and modify its boot logo to one that depicts a Tux holding a flag with a symbol reminiscent of the logo of Windows for Workgroups 3.11?"