Include section when printing stats

pkgs/markdown/tool/stats.dart

diff --git a/pkgs/markdown/tool/stats.dart b/pkgs/markdown/tool/stats.dart
index 20ebd1e..f5598ee 100644
--- a/pkgs/markdown/tool/stats.dart
+++ b/pkgs/markdown/tool/stats.dart
@@ -129,7 +129,8 @@
 
 void printVerboseFailure(
     String message, CommonMarkTestCase test, String expected, String actual) {
-  print('$message: http://spec.commonmark.org/0.28/#example-${test.example}');
+  print('$message: http://spec.commonmark.org/0.28/#example-${test.example} '
+      '@ ${test.section}');
   print('input:');
   print(indent(test.markdown));
   print('expected:');