This was mentioned in the first post, thought this feature request was just for if all user posts are deleted. In which case if their entire account is also deleted seems their username if mentioned by someone else with @ username would also be removed, but for some reason is not.