Move userscript-header.txt into main.js.inHEADv0.1.0master

We're not including anything above `main.js.in`, so the top of that file
always ends up as the top of the final user script. We don't need a
separate build step to include it.

1 files changed, 7 insertions, 0 deletions

diff --git a/main.js.in b/main.js.in
index 4444d79..43be680 100644
--- a/main.js.in
+++ b/main.js.in
@@ -1,3 +1,10 @@
+// ==UserScript==
+// @name Peniquitous
+// @description Ubiquitous Ctrl-P & Ctrl-N
+// @version 0.1.0
+// @namespace com.teddywing
+// ==/UserScript==
+
 // Copyright (c) 2015, 2021  Teddy Wing
 //
 // This program is free software: you can redistribute it and/or modify