My guess is that it is not likely going to happen because the proposed shortcut is not simplier, it would be a broken change for the user experience, also it is a conflict with another software. You could propose a change on a Readme file maybe but that it i guess.
As for redesigning this is offtopic, but please submit your own theme with a merge request, you could try to start from the view-virgilio.vala file.
My guess is that it is not likely going to happen because the proposed shortcut is not simplier, it would be a broken change for the user experience, also it is a conflict with another software. You could propose a change on a Readme file maybe but that it i guess.
As for redesigning this is offtopic, but please submit your own theme with a merge request, you could try to start from the view-virgilio.vala file.