Tweaked the MS hand-collected feed to have a different filename than the official feed.