(I'm the same guy that made the post, but for some reason minehut won't let me log with that account)
Thank you. I did do /seen, got his IP, then did /pardon-ip (his IP, because his username didn't work) and it told me that he wasn't banned. However, when I typed in /banlist, his name was still there...