Summary of changes: 1f99e84... generate terminals menu (#622426) (*) 4c7b3d4... remove double quotes from menu labels (#630109) (*) f852699... 3.4.11.2-3 (*) (*) This commit already existed in another branch; no separate mail sent