Redirect automatically on user inactivity. Part of feature-requests#1460.