It's a technique to avoid repetition. The first paragraph starts with "Microsoft announced X", and then the second paragraph would start with "Microsoft also said Y".

By replacing the second instance with "Redmond", the article becomes easier to read because the second paragraph is now visually distinct from the first.