I just tested this. You are right. Ignoring a user is not retroactive to existing PMs in your inbox. But it does prevent new PMs from showing in your inbox. For existing PMs you must manually leave the conversation, and when doing so you can select "Ignore future messages".