repology.org domain is back up, repology.amdmi3.ru will be discontinued on October 9th