关于服务器 baseq-pl: CA-4 (KrS) 的讨论