ランダムジャンプボタン
ランダムボタンとも言う。
2018/8/15に気がついたら実装されていた。
ボタンを押すと、同一プロジェクトの別のページにジャンプする。
下に関連ページがまったく出てこない（≒行き止まり、進化の袋小路）ページに遭遇したときの次の一手。
総ページ数が多いほど、面白くなるはず。
ただ、何かもう少しアレンジがあった方が面白ような気もするがアイデアはない。
id名
RandomJumpButton 2020-12-31 08:18:25 属性が変更されています
代わりに
a.random-jump-button.tool-btn.link-btn を使ってくださいindex.html_disabled <a class="tool-btn dropdown-toggle" type="button" id="RandomJumpButton" data-toggle="dropdown" aria-haspopup="true" aria-expanded="true"><i class="fa fa-random"></i></a>