-
@ Paul Haddad :tapbots_logo:
2025-02-26 22:24:38nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqww0xvwuelt5872ts8t2evnamq67e5qndg4wdlt5pgk75nm9jx0hqarvtax it wouldn't work on the PDF which is weird, but doing an export to PNG at a high DPI let me zoom in and select bits of text.