Hm, I just found this document:
It says on the first page that the ripple current is load independent. Perhaps this means I should add 0.625 to my 3A load, and either decide that 2.3A is sufficient for my needs, or select a larger inductor capable of handing more current?