Merge branch 'micro' into minor * micro: tests: make script 'shell-no-trail-bslash' simpler and more robust