Escape asterisk interpreted by sphinx as emphasis start without end.
Escape asterisk interpreted by sphinx as emphasis start without end.

Signed-off-by: Jerry James <88c37da57d2bc41ace4901a638fc7629368ec7c6@gmail.com>

janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder,janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder,janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder,dra27/jbuilder