In the interest of accuracy, while there may have been a federation bug making edited comments update slowly, the ping wasn’t edited away until after @db0@lemmy.dbzer0.com responded to it the first time.