Yeah, it's probably from their side but have you read the comment there? it has given a solution that but I'm not very sure if you should try it since I'm not very familiar with that wallet he suggested. I don't know who the guy is but it seems the most active on that sub-reddit and I don't have experience about that wallet since it will ask your private keys for importing. What you should do now is to look for reviews about that wallet and once it's validated to be okay, you may proceed the next step and try the given solution. But if you've seen some red flags already for that wallet, don't proceed.