/worklog.gmi is gone

Old and unused file.