Follow portlint's recommendation to NOT hide an install-command under @.

Use this opportunity to correct an error in an earlier commit, which referenced
an incorrect PR. The correct number is:

PR: 199869