merge [85118],[85119],[85120],[85121] from trunk; fixes #8843, fixes #8880, fixes #8882, fixes #8474

[SVN r85427]
docs for stuff in regex_actions.hpp, fixes #7662

[SVN r86268]