[devtools] Prototype git shortlog in HTML