That’s right. For other stuff, a possible workaround is to use includes to keep it in a separate file that only Ledger sees.