Minor formatting issue on packages.debian.org

[Christoph Biedl <debian.axhn@manchmal.in-ulm.de>]

Hi there,

while searching for files that contain the string "feedback", I
noticed a slightly confusing behaviour in the result page, i.e. at

    http://packages.debian.org/search?searchon=contents&keywords=feedback&mode=filename&suite=stable&arch=any

Appearently the actual search is done case insensitive since also
files like </usr/share/gosa/setup/class_setupStep_Feedback.inc> are
shown as results. However, the matching substring is presented in bold
only if the match is case sensitive. In other words,

    /usr/share/gosa/setup/class_setupStep_Feedback.inc

is presented as is while for example

    /usr/share/icons/oxygen/16x16/apps/preferences-desktop-launch-*feedback*.png

has the string "feedback" printed in bold, here marked by the '*'.

In my opinion, the is inconsistent. Care to take a look?

Regards,

    Christoph