html2vimdoc.py: why '' instead of ||

[LeonB]

Hi,

Is there a reason to use '' for internal Vim tags? || work better (for my use case). For example: 'bufname()' doesn't get recognised by Vim as a help tag but |bufname()| is.