Ask HN: What is a better name for our product?

Company's name is Progstr, and our service is called Filer - cloud file storage for web apps.

Until now we have stuck to Progstr Filer as a name, but Filer.io came up as a suggestion today.

So, the question is which one is better - Progstr Filer or Filer.io?