OK thanks. I didn't think the "report post" feature would have any effect if the user had already been banned, but I guess it makes sense to report the post even if the user is already gone as these things are dealt with on a per-forum, non per-user, basis.