bug#22220: 24.5; no documentation for default process sentinel

[Eli Zaretskii]

> From: Ram Bhamidipaty <rbhamidipaty@roku.com>
> CC: "22220@debbugs.gnu.org" <22220@debbugs.gnu.org>
> Date: Tue, 22 Dec 2015 23:25:28 +0000
> 
> It would be nice if the default process sentinel were explicitly documented - 
> at least the name and formal description. 

The description is what I cited from the manual; there's nothing else
to be said about that, because that's all that the default sentinel
does.

As for the name, why is that important?  You can always get it
installed for the process using nil as the argument to
set-process-sentinel, and the implementation is in C, so how would the
name help?