This file is indexed.

/usr/share/polygen/eng/debian/thanks.grm is in polygen-data 1.0.6.ds2-13build1.

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
I ::=   "title:    Thanks\n"
      ^ "author:   Enrico Zini <enrico@debian.org>\n"
      ^ "language: english\n"
      ^ "status:   Basic\n"
      ^ "topic:    General\n"
      ^ "created:  28/06/2006"
;

S ::= Noend  [^"," Followup] ^End ;

Noend ::= \ Thank;

Thank ::= thanks
        | thank you
        | thank you Much
	| Much thank you
	;

Much ::= Very much
       | a big deal
       ;

Very ::= _ | very | so | so very | Really ;

Really ::= really
         | -- ( Really ^"," Really )
	 ;

Followup ::= it is Very appreciated
           | it is Very much appreciated
	   | "I" am Very grateful
	   ;

End ::= "."
      | "!"
      | -"!!"
      | --"!!!"
      | ---"!!!!"
      | ----"!!!!!"
      | -----"!!!!!!"
      ;