They used the Education Edition, not vanilla. But link to source and world download - https://blogs.technet.microsoft.com/nzedu/2018/10/19/explore-microsofts-re

They used the Education Edition, not vanilla. But link to source and world download - https://blogs.technet.microsoft.com/nzedu/2018/10/19/explore-microsofts-redmond-campus-in-minecrafteducation-edition/ https://blogs.technet.microsoft.com/nzedu/2018/10/19/explore...