Fixing an unhappy push --force

@valem brought branch 3-feature-template-download-... up to the commit I tagged as rama-3-valem.

When doing Merge d2b17491, I certainly proceeded with an outdated local repo, and unhappily did an forced push, thinking being alone on the branch and correcting what I thought was my own error.

This issue to expose differences.