In terms of these strings, they need some juggling - we don't put html in language files anywhere else, and I'd be inclined not to start for obvious reasons so we don't mix 'translations' with 'styling' of mantis