It's great there is some filtering functionality in the app, but realistically it's a lot easier to search logs with the full power of external tools. Is there an option to simply export the displayed logs to a text file, so that they can be inspected however the user wants?