I just tried PDF export through Firefox extension and the resulting file is off. File can be read fine but the text search, copy paste is broke. For example, if I search for “ms”, text for “lt” is found/highlighted. If I copy “genome” text, if pastes as “fdmnld”. This seems to be the case for both mac preview and acrobat reader. Export from Chrome doesn’t have this problem.