Local Search (Ctrl+F) should also consider categories

[bjoern]

currently only nodenames are considered and the matching nodes are highlighted.

[joreg]

fixed in preview 615