updated comment to explain origin

Author: TimidRobot

hosted-version/index.html

@@ -1,4 +1,7 @@
 <!--
+This file was copied from the faq server by Timid Robot on 2020-04-30.
+It *should* match doc/platform-toolkit.html, but it does not :(
+
 ___  ____    _  _ ____ ___    ____ ___  _ ___    ___ _  _ _ ____ 
 |  \ |  |    |\ | |  |  |     |___ |  \ |  |      |  |__| | [__  
 |__/ |__|    | \| |__|  |     |___ |__/ |  |      |  |  | | ___]