WikipediaのページID拾って短縮してくれるブックマークレット、誰か作ってくれてないかなとググってみたら見つけた。ありがたい。

Wikipedia の短縮 URL を取得するブックマークレットを作ってみた
http://neos21.hatenablog.com/entry/2018/05/27/080000