Marek

Why: Previously if function had a doc string the lemma was inserted before signature but after the doc string requiring user to further adjust the position. Before: ```idris ||| Useful...

Improve `idris-filename-to-load` to return expected pair of dir and relative path depending on idris-protocol version

3

### What: Make `(idris-filename-to-load)` to return - a "source dir" and "relative file path" when source dir is exctracted from ipkg file. - a "work dir" (parent directory containing a...

Depends on https://github.com/idris-hackers/idris-mode/pull/634

Why: To avoid prompt when executing `comment-*` function in `*.ipkg` file. ``` comment-normalize-vars: No comment syntax defined ```