title: As a Jenkins administrator, how do I get a user's API token without logging in as them?
body: <p>As an administrator, how do I get an API token for a user other than myself, without logging in as them? When I visit the user configuration page, all I see is that "Token is hidden", and I cannot change it either.</p>