[Pki-devel] Updated REST design pages on the Wiki