I fucked up my repo so bad

@makeworld lest we forget the Copts.

It's been a Copt since AD 42.