discourse.example.com redirecting to example.com is “external”. It is a different domain; “external” in this context is any domain not exactly
discourse.example.com.
Wildcard support isn’t a feature I’d expect in the redirects; they are meant for simple one off page things.
I would ask myself if folks go to paginated URLs; in my experience they do not.
I’d say you are good to go. 