When making a pull request one can make the title "Backport <sha>" and the shara bots will find the right commit and update it with the appropriate links. Currently the bot won't understand if you don't capitalize "Backport". But there's no good reason to enforce the "Backport" keyword as case sensitive, so let's drop that requirement. This will save users the occasional confusion.