npub1ky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajs5rghvc (npub1ky2…ghvc) This package has been working well for me: https://ctan.org/pkg/proof-at-the-end except that tikzcd diagrams must be used with the "ampersand
replacement=\&" option and with \& to separate columns