Monday, October 24, 2022 rcmd and Stage Manager. Adding keyboard shortcuts to Stage Manager seems very useful. microblog