update the table in manual showing which platforms are available in the
distribution
Fixed race condition that can result in CCB reconnection failure. #3476
Fixed restart of shared_port when using a dynamic port. #3478
Improved shared_port docs with respect to configuration of the port number. #3478
Fix documentation of KILLING_TIMEOUT. #3470

It is not related to user-defined custom kill signals anymore.  It is
only for timing out on fast shutdown of the starter and reverting to
hard killing.