This release fixes issues #414, #440, #463, #381, #237, and incorporates PRs #412 and #371. The following emojis are revised: