SearchCode: Strip HTML from the description. Fixes #237.