Reopens https://github.com/banacorn/agda-mode-vscode/issues/242. In 0.6.4, write the following into `test.lagda.md`: ````agda ```agda module _ where ``` ```` Load the file. Duplicate the `module _ where` line: ````agda ```agda module _ where module _ where ``` ```` Reload the file. The second line is not highlighted: <img width="338" height="201" alt="Image" src="https://github.com/user-attachments/assets/c907bd05-7fe9-40ce-8d1e-3f899c12b232" /> Make any edit. The second line becomes highlighted.