It's not like Linux is going away. I think more possibilities in regard of OS is a good thing, and also in align with the RPi's mission statement.