As an aside, is there any practical delineation between "augmented reality" and "mixed reality" that requires the separate terms, outside of a marketing drive to differentiate products?
For me it's simply that I think MR is a better description, but I recognize that AR hasn't been replaced as the preferred term yet, so I include them both. Augmenting our experience of reality is certainly part of the use case, but Mixed seems to capture the overall paradigm change more accurately.