hackdoc: deploy

There's an issue with the registry that forbids me from pushing into
anything but my personal namespace - might have been introduced by
0697e011449d5c69a20542145312c089f7748492 . For now, I move the hackdoc
image to my personal namespace, as at some point in the future I want to
revamp the registry system, anyway.

We also drive-by fix a mirko.libsonnet typo that, for some reason,
hasn't manifested itself yet.

Change-Id: I8544e4a52610fb84c5c9d8b0de449f785248f60f
diff --git a/kube/mirko.libsonnet b/kube/mirko.libsonnet
index 6703381..134c785 100644
--- a/kube/mirko.libsonnet
+++ b/kube/mirko.libsonnet
@@ -56,7 +56,7 @@
                 annotations+: {
                     "kubernetes.io/tls-acme": "true",
                     "certmanager.k8s.io/cluster-issuer": "letsencrypt-prod",
-                    [if env.ingressServerSnippet != null]: "nginx.ingress.kubernetes.io/server-snippet": env.ingressServerSnippet,
+                    [if env.ingressServerSnippet != null then "nginx.ingress.kubernetes.io/server-snippet"]: env.ingressServerSnippet,
                     [if std.length(env.extraHeaders) > 0 then "nginx.ingress.kubernetes.io/configuration-snippet"]:
                         std.join("\n", ["proxy_set_header %s;" % [h] for h in env.extraHeaders]),
                 },