Thank you for the great work! I have a very beginner's question: How did you create the AR demo video on the project page? Was it a recording from a real-time AR demo running on something like an iPad, or was it created through post-processing offline?