This file is indexed.

/usr/bin/jupyter-serverextension is in jupyter-notebook 5.2.2-1.

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

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
#!/usr/bin/python3
# EASY-INSTALL-ENTRY-SCRIPT: 'notebook==5.2.2','console_scripts','jupyter-serverextension'
__requires__ = 'notebook==5.2.2'
import re
import sys
from pkg_resources import load_entry_point

if __name__ == '__main__':
    sys.argv[0] = re.sub(r'(-script\.pyw?|\.exe)?$', '', sys.argv[0])
    sys.exit(
        load_entry_point('notebook==5.2.2', 'console_scripts', 'jupyter-serverextension')()
    )