(Alternate) PayPal converter currency equivalency

[501st-alpha1]

When I use ledger-autosync on my most recent PayPal CSV export, the output doesn't use the currency that I want it to.

For an input line of:

"12/1/2017","15:03:52","PST","John Smith","General Payment","Completed","USD","-10.00","","0.00"

I get this output:

2017/12/01 John Smith: General Payment
    Assets:PayPal                                      -10.00 USD
    ;; csvid: abc123
    Expenses:Misc                                       10.00 USD

The USD is pulled directly from the CSV file, but I want it to display as e.g. $10.00 instead. I couldn't find anything built-in to Ledger to handle this; it appears the alias directive only applies to accounts and payees (though I don't get an error when I put one under a commodity). If I replace "USD" with "$" in the CSV file, it works as expected, but I'd rather not modify the original file if possible.

Is this something ledger-autosync could handle?