Haven't had it happen to me, pretty darn rare for anyone to get bit by 'em, and with the chewing that seems to be involved in all of them, I can only imagine they are feeding-response bites.

Anyhoo, like I said, hasn't happened to me. You haven't experienced symptoms of allergic reactions, so really just keep an eye on the swelling.

Take some ibuprofen, and feel free to ice your finger for up to 20 minutes at a time. I use those gel-packs from pharmacies when I need to ice small areas in particular.