Mike from Gitter here. We've improved the performance of this quite a lot over the last few months and will soon start implementing local caching that will make this pretty much instantaneous.