+ awk '
+ /^#/ { next } # ditch all comments
+
+ # tag project releases by matching release tag associated
+ /4\.0\.5$/ { printf( "&h1(Bronze Release)\n" ); rheader = 1 }
+ /1\.11\.1$/ { printf( "&h1(Amber Release)\n" ); rheader = 1 }
+
+ print_raw && /^$/ { # include blank lines after first real stuff