Microsoft's tabbed interface for Windows, known as Sets, appears dead for now