Make the generation script produce manual tests in such a way that their names reflect it

This includes both the change to the script and the renamed files.