# robots.txt for http://www.museum.arzamas.net