Simplified usage of main. Improved toString() of WebAuthz.