remove obsolete note

extension/ui/pages/help.html

@@ -346,8 +346,7 @@
 						<p>Enter your user name on GitHub.</p>
 					</li>
 					<li data-options-label="githubRepositoryLabel"> <span class="option">Option: repository name</span>
-						<p>Enter the name of the repository on GitHub where the saved pages will be archived. The
-							repository <strong>must</strong> contain at least one file (e.g. the "README.md" file), see
+						<p>Enter the name of the repository on GitHub where the saved pages will be archived, see
 							the <a
 								href="https://docs.github.com/github/creating-cloning-and-archiving-repositories/creating-a-repository-on-github/creating-a-new-repository"
 								target="_blank">documentation page</a> on GitHub for more information on how to create a