The “Copy/Paste” function is not working. I tested it in Chrome and Mozilla, and the behavior is the same. It might be interesting to replace it with export .txt