Add noweb annotation for ledger-mode.