Looks like @almaknuth hasn't posted yet!