ops.html: update alt nicks