Here it seems there is no need to put this in an `Option` (if the generated source exists, there is a corresponding template position).