"We Didn't Catch That!" Using Voice Text Input on a Mixed Reality Headset in Noisy Environments. (December 2020)