Updated documentation
Added pending specs for TcpSyncDemux