The source project of this merge request has been removed.
Drop the remaining references to script
The script tool is no longer recommended, this MR drops a couple lingering references to it - one reported in #1110682 and another I noticed in section 4.5.5.
Also took the opportunity to fix an unrelated mistype - a single character change does not seem worth a dedicated commit.