How Fans Revived 'Infantry,' a 20-Year-Old 2D isometric shooter