add a force sync option; fix audio mining on some websites like youtube

reader.html

@@ -66,6 +66,7 @@ body > p:nth-of-type(1)
 </style>
 <script src="include/browser-polyfill.min.js" charset="UTF-8"></script>
 <script src="reader.js" charset="UTF-8"></script>
+<script src="texthook.js" charset="UTF-8"></script>
 </head>
 
 <body lang="ja">