chiark / gitweb /
Put a frame around user management window (and the other popups) and