Should RISC OS be open sourced?