> There's no hope fixing keyboard switching for stretch, right? Is this not #841729? There is a simple workaround. Best wishes, Mike