faul_sname comments on Hutter-Prize for Prompts