TGR Emoji Extension

Posts made on the (no longer maintained) TGR forums app have an issue in which numbers are converted to emojis. These do not properly display when viewing the forum on desktop, or even the original app. For example, the number 1 is mapped to [emoji637], and the others are treated similarly (though larger numbers are mapped to codes with nested brackets, somewhat confusingly). When a post is edited, the numbers in the emoji brackets (such as the 3 and 7 in "[emoji637]") are themselves turned into emoji brackets, leading the length of this unreadable mess to grow exponentially in the number of edits. This extension is quite simple: it searches the page for these emoji brackets, and then iteratively replaces the emoji codes with their original numbers, undoing the editing loop. It is set to go through this six times, so some post with more than six edits might not be fully resolved by it (but such a post probably exceeds TGR's maximum length anyways). Additionally, it might not work if a user has attempted to remove some of the emoji text with an edit and for example has deleted a bracket sign. There are no settings or anything: the extension should just start automatically fixing newly loaded pages right after one adds it. A quick web search reveals that this emoji issue is present on a few other online forums using vBulletin, so this extension could easily be adapted to fix the issue there as well.