String.format = function(string) {
https://github.com/jerone/UserScripts/blob/e60d4c1bd289e56273b4a19a146ca991ad3eba78/Github_Reply_Comments/Github_Reply_Comments.user.js#L24
String.format = function(string) {
https://github.com/jerone/UserScripts/blob/e60d4c1bd289e56273b4a19a146ca991ad3eba78/Github_Reply_Comments/Github_Reply_Comments.user.js#L24