Hopeful compatibility with coq/coq#19599 (#239)

Less blind editing for coq/coq#19599 (comment)

examples/run-example-027.sh

@@ -87,17 +87,17 @@ find_bug "$EXAMPLE_INPUT" "$EXAMPLE_OUTPUT" -R . Foo || exit $?
 (\* File reduced by coq-bug-minimizer from original input, then from [0-9]\+ lines to [0-9]\+ lines, then from [0-9]\+ lines to [0-9]\+ lines, then from [0-9]\+ lines to [0-9]\+ lines, then from [0-9]\+ lines to [0-9]\+ lines \*)
 (\* coqc version [^\*]*\*)
 \(Module Export Foo_DOT_A_WRAPPED\.\|Module Export Foo\.\)
-Module Export A\.
+Module \(Export \)\?A\.
 Definition foo : Type\.
 Admitted\.
-\?
+
 End A\.
 \(Module Export Foo\.
 Module A\.
 Include Foo_DOT_A_WRAPPED\.A\.
 End A\.
-\)\?
-\?Check Foo\.A\.foo : Set\.
+
+\)\?Check Foo\.A\.foo : Set\.
 
 EOF