diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 12602d179..447831769 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -205,6 +205,8 @@ jobs:
       - name: Remove zero-width space characters
         run: |
           sed -i 's/\xe2\x80\x8b//g' *.po **/*.po
+          # Undo removal from where we should not
+          sed -i 's|`````|``​`​``|' reference/lexical_analysis.po
 
       - name: Show difference (error if there is any)
         run: |