Typo train

Context

This is an instance of the typo train, an MR grouping typo fixes and other minor changes to the doc. It is open for contributions from anyone, as long as in Draft mode.

See meta-issue #2329 for more details.

In particular, this typo train:

• fixes several minor issues in the smart rollups doc
• removes the doc for tickets in Lima (i.e. reverts !7587 (merged)), because in Lima implicit accounts cannot receive tickets, as told in this page

Manually testing the MR

Build the doc locally or in the CI (the doc artifact), and verify that changes are minor and non-controversial, and they improve something.

Checklist

• Select suitable reviewers using the Reviewers field below.
• Select as Assignee the next person who should take action on that MR