Use shortcodes in a more robust manner #2737
This has a bug when shortcodes are "nested". Specifically this is used in the manual, with the "raw" shortcode wrapping another shortcode that should not be processed.
The extract_shortcodes algorithm is wrong. I know how to fix it, it's going to take a bit longer.