elaborate on that for @pqwy (who told me not to use List.hd, but I need the first certificate for the security_parameters) ;)
fix server code