[MACTCL] mini.net gone yet again

[<Ge...@Or...>]

Someone who doesn't know Unix wrote:
# Actually, I just extended one of the
# existing pages: <http://mini.net/tcl/mactcl> 

It's not responding, as of now. 

 ---- 

> server A.GTLD-SERVERS.net
Default Server:  A.GTLD-SERVERS.net
Address:  192.5.6.30 

> mini.net
Server:  A.GTLD-SERVERS.net
Address:  192.5.6.30 

Non-authoritative answer:
mini.net        nameserver = TRIXIE.TRIQS.COM
mini.net        nameserver = TRIQS.COM 

Authoritative answers can be found from:
mini.net        nameserver = TRIXIE.TRIQS.COM
mini.net        nameserver = TRIQS.COM
TRIXIE.TRIQS.COM        internet address = 216.110.36.111
TRIQS.COM       internet address = 216.110.35.176
> server TRIXIE.TRIQS.COM
Default Server:  TRIXIE.TRIQS.COM
Address:  216.110.36.111 

> mini.net
Server:  TRIXIE.TRIQS.COM
Address:  216.110.36.111 

^C [hung]
> server TRIQS.COM
*** Can't find address for server TRIQS.COM: No response from server
> server 216.110.35.176
[hung]