A selection of this week’s noteworthy tech news.