Minor Enhancements for Week 25

This post lists small tweaks and enhancements that have been delivered by the Development team in the previous release.

(more…)