remaining extensions Submitted by induction on Thu, 2025-10-30 13:32 Note Border Color #000000 Note Fill Color #ffffff Note Text Color #000000