GitHub Projects でラベルとしてつけたストーリーポイントの合計を表示する Chrome 拡張機能。