One of the accessibility features I liked in 16.04 is window menu's keyboard shortcuts. Alt-Space followed by one of seven control keys. 18.04 seem to have removed them from the window menu. Can anyone tell me what has to be done to re-enable them? Rick