Search results on wordpress.org are double escaped

[johnbillion]

Example: ​http://wordpress.org/search/menu_name?forums=1

Code blocks in the snippet of search results are escaped, giving you < and > instead of < and >.

[johnbillion]

This also happens on the activity stream on user profile pages. Example from ​http://profiles.wordpress.org/users/sidewindernet/:

Replied to a topic in the WP.org support forums, Where are "settings"?

[johnbillion]

Related: #14421

[Otto42]

This appears to be fixed in both places now, from other changes. Closing.

[SergeyBiryukov]

Replying to johnbillion:

This also happens on the activity stream on user profile pages.

Fixed in #14421.