Does anyone know Kirill's current GitHub username? The link above gives a 404, and a quick search for "Kirill Ishanov GitHub" didn't turn up anything.