Unable to delete user after transferring post ownership

Bug found in Ability to merge users:

After transferring the ownership of all account posts, I am unable to delete the user due to posts created.

Additionally the created posts are not listed anywhere so trying to find them after an ownership transfer is difficult.

Already exists
https://meta.discourse.org/t/deleting-an-old-user-after-re-assigning-their-one-post/25536

Apologies. I obviously didn’t search hard enough.