Haha, I installed it anyways - most of the time I open a commit, I'm looking for the original PR, so having the name nice and clickable beats hunting for a few digits :+1: