iOS 11 has a nice feature to record the screen, but on my iPad Mini 4 this isn't possible when also mirroring my display to my HDTV (via HDMI or AirPlay). Is this possible with an iPad Pro? I want to use my iPad to both display my lecture slides and record the A/V from the live lecture.