Comment on New option for Views page displays to use the admin theme