油猴脚本，正式的叫法是用户脚本（user script）。之所以叫做「油猴」，是因为第一个制作这个浏览器扩展的…