long loong time ago I received doge tip from /u/dogetipbot , but I never redeem it. Is it gone forever? (assuming /u/dogetipbot is dead now)