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