+
+ if (!$unfolding_enabled and m/=========/) {
+ # We passed the table of contents
+ # and can try to unfold unintentional
+ # line breaks;
+ $unfolding_enabled = 1;
+ }
+ if (m/specific to the Windows GUI/) {
+ # The Windows section is formatted differently.
+ $windows_section_reached = 1;
+ }
+