With a cheap HDMI video converter and a simple app you can watch any HDMI source on your iPad. This lets you use it for video games or with set-top TV boxes.
Note: This is Club MacMost exclusive content. To view this video click the thumbnail below to go to the post as Patreon.com. Once there you will be able to view the video as long as you are logged into your Patreon account and a current supporter of MacMost at the "Club MacMost" or higher level.
Amazon lists several adapters from lightning to HDMI. Dunno if the app you mentioned supports that connection but if so, your tip would work for us "old" connector types :)