Describe [ ! kill -0 $SSH_AGENT_PID > /dev? here.
No other page links to [ ! kill -0 $SSH_AGENT_PID > /dev yet.