The open sourcing moves were in the works well before Nadella was CEO.