Detect the Instructions.html during the automatic build (inside the distrib, under dist/php/new_version.html)