Happy 5.25 day to anyone who celebrates.

(“Colour diskettes”. Ha.)