I forgot: No claim that the proposed patch is the only way to fix it.
The script check-nocheck does not try to find the best solution, it only tries to find a solution in the form "removing one or more <!nocheck> annotations", but there may be other ways to fix it. All that is discussed here: https://wiki.debian.org/qa.debian.org/FTBFS/nocheck Thanks.
