User-agent: *
Disallow: /WhatToDo/download.php
Disallow: /archive/Decoder/binary.php
Disallow: /archive/Decoder/sources.php
Disallow: /cgi-bin/