- HTTPDigest
    - Added workaround for Opera: When using a proxy, Authorization request-uri is absolute
      but HTTP request URI is relative. Work around that by making the latter absolute, too.
- Minor improvements to index.php
Ignore config.php.
Fix whitespace error.