PinguTradeServer:  choose better names for certificates