There are a number of file paths, and almost all of them used double-backticks rather than ``:file:``. Since they both have the same visual style, it was less work convert to double-backticks. However, I'm more than happy to go and find all the filenames there and convert them from double-backticks to ``:file:`` if you like.