docs for stuff in regex_actions.hpp, fixes #7662