A jump to a location in a html-file via file.html#mark
is not succesfull, if the file isn't still displayed, instead
it jumps to the beginning of the file. After this, jumping in the
same file, one can reach the mark.
searching: it seems not be possible to search with the wildcard *
As a german it's necessary to use the 'german Umlauts'
in html: ü etc. in the *.hhc and *.hhk.
Is there any support for this ?