v0.0.201

• Add editor decorations for errors, warnings, 'goals accomplished' and 'unsolved goals' (#585, #587, #593, #595)
• Add abbreviation \xs for ×ˢ, denoting the product set (#588, author: @jhanschoo)
• Add \tiny and \miny Unicode inputs (#591, author: @vihdzp)
• Expose client-sided LSP tracing in the extensions settings (#589)