3 ms·It's part of plan9port already, for the record.by koenigdavidmj 14y agoIt's part of plan9port already, for the record.jff 14y agoMust be a recent addition, it's not in my (~3 month old) installation of Plan 9 Port.