From 27a02f12aef552f5e1a39a5f61e6d7caaf06da3c Mon Sep 17 00:00:00 2001
From: "Kyle J. McKay"
Download your https push user certificate and store it in the "$HOME/certs" directory. The downloaded user certificate file will have a name like "@@nickname@@_name_user_1.pem" where -"name" is the user name you registered the public key for (it may -also have a suffix other than "_1" if you’ve registered more -than one public key).
+"name" is the user name you registered the public key for (the downloaded +user certificate file may also have a suffix other than "_1" if +you’ve registered more than one public key).