Why the London Stock Exchange went for Linux