Greasy Fork镜像

建议把跳转和搜索合并成一个按钮，假如是题号跳转，否则就搜索。

判断是否是题号可以用 Luogu Problem Jumper 的方法。