Cleanup: Remove 'file:""' from file paths.

Cleanup: Remove 'file:""' from file paths.

There should be some HTML markup, such as `<code></code>` wrapping these instead of using a literal `file:""` IKI syntax.
I clearly forgot to convert the IKI syntax for `file`.

I do not remember or I have not yet decided what the `file:""` should be mapped to in HTML.
Just get rid of the IKI syntax.
I will make further updates once I figure out how I want a file text to be presented.