[gambit-list] PICBIT, PICOBIT, etc.