User-agent: *
Disallow: /.hidden/

# SELFHTML requires mirrors not to be indexed by search engines.
Disallow: /mirror/selfhtml/de/