This could be something for a general FAQ section and referenced throughout the documentation. If users are recording their own video files (which they shouldn't because of lossy compression), they can use vid2dc.py to convert them to rtdc and analyze them with ChipStream.