This file is indexed.

/usr/share/geany-plugins/devhelp/home.html is in geany-plugin-devhelp 1.27+dfsg-2.

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
<html>
	<body>
		<h1 align="center">Geany Devhelp Plugin</h1>
		<p align="center">
			Use the Devhelp sidebar tab to navigate the documentation.</p>
		<p align="center">
			<span style="font-weight: bold;">Tip:</span> 
			Select a tag/symbol in your code, right click on the editor and
			choose the 'Search Devhelp for...' option to search for
			that tag in Devhelp.
		</p>
		<div align="center">
			<img src="geany-devhelp-plugin.png" />
		</div>
	</body>
</html>