As far as I can see, tipctl does not support setting DNS glue records, while the API does have this possibility. Is it possible to add that?