By: Lucien Huber <im@lcnbr.ch>
clarify Symbolica integration documentation User request: "Sounds good" Apply the agreed review follow-up: rename the stale Tymbolica docstring and clarify that Rubi integration runs through the combined Symbolica plugin.