Should Windows 10 be released in July or should Microsoft wait a bit longer?