Nothing complicated... I was happy to find it just works: open the GIF in Photoshop, scale it 2x (or whatever) with Nearest Neighbor scaling, then Save For Web as a GIF. Animation timing is preserved!
Very handy as I finish my Outside Parties trailer for the next Tiny Yellow Machine Community Direct!