Merge pull request #266 from dontcallmedom/dfn-export

SHA: 1a1835f
Reason: push, by yoavweiss

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Author: yoavweiss