This file is indexed.

/usr/share/doc/courier-doc/htmldoc/index.html is in courier-doc 0.68.2-1ubuntu7.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
<?php

$server_name=$_SERVER['SERVER_NAME'];

$uri=$_SERVER['REQUEST_URI'];

if (strlen($uri) == 0)
{
  $uri="/";
}

if (strlen($server_name) != 0)
{
  $uri="//" . $server_name . $uri;

  if (strlen($_SERVER['HTTPS']) != 0)
  {
     $uri="https:" . $uri;
  }
  else
  {
     $uri="http:" . $uri;
  }
}

$pos=strrpos($uri, "/");

if ($pos != false && substr($uri, $pos) == "/index.html")
{
   $uri=substr($uri, 0, $pos);
   $filename="";              /* chop off /index.html and redirect here */
}
else
{
   $filename=$_SERVER['QUERY_STRING'];

   if (strpos($filename, "/") != false)
   {
      $filename="";
   }

   if (!$filename)
   {
      readfile("index2.html");
      return;
   }

   if ($pos != false)
   {
     $uri=substr($uri, 0, $pos);
   }
}

header("Location: $uri/$filename\n");
echo "";

$lt=chr(0x3e);
$gt=chr(0x3c);

echo "${lt}html${gt}${lt}body${gt}This page has moved to ${lt}a href='$uri/$filename'${gt}$uri/$filename${lt}/a${gt}${lt}/body${gt}${lt}/html${gt}\n";
return;

?>
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN">

<html>
<head>
  <title>Document moved</title>
</head>

<body>
  <p>This page has moved. <a href="index2.html">Click here</a></p>
</body>
</html>