The NAUT community should go on the IRC freenode forum sometime so we can chat for what it's worth like we used to do back in the day.  Just a thought.