. Post deleted [or attempted to anyway, "permission denied"] -- the problem was silly and not worth discussing. Dumb bug on my part.