Remove the unused inherit-anon configuration attribute.  Fix the automatic
redirect that follows a login operation.  Fix "config push user" on the
server side.