rename filter semantic-markdown -> sem-md; consistently capitalize spec Semantic Markdown

1 files changed, 2 insertions, 2 deletions

diff --git a/report.qmd b/report.qmd
index 409298b..d973730 100644
--- a/report.qmd
+++ b/report.qmd
@@ -114,9 +114,9 @@ are editorial comments not intended for inclusion in the final version.*
 
 \appendix
 
-# Pandoc filter `semantic-markdown` {.appendix}
+# Pandoc filter `sem-md` {.appendix}
 
-```{.lua include="_extensions/ruc-play/semantic-markdown/semantic-markdown.lua" code-line-numbers="true"}
+```{.lua include="sem-md/sem-md.lua" code-line-numbers="true"}
 ```
 
 # Markdown syntax as PEG {.appendix #sec-def-peg}