This file is indexed.

/usr/share/doc/wsl/README.Debian is in wsl 0.2.1-1.

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
wsl for Debian
--------------
Upstream wsl claims to require curl and can optionally use wget, but on first
run by a user (per user) will check if wget is installed when curl isn't
present. If that turns out to be the case, it will set USEWGET for you in
.wsl-config. Note that it will only do this once, so if you subsequently remove
this variable and then remove curl, it'll whine at you. The upstream wsl README
tells you that you need curl and optionally can use wget, but does the above
check anyway. Ubuntu and Debian systems are more likely to have wget installed
than curl, so the .deb for wsl lets you have either installed as a dependency.
However, beware of the caveat herein described.
 -- Daniel Jared Dominguez <Jared_Dominguez@Dell.com>, Fri, 02 Nov 2012 15:36:15 -0500