removed github completion engine, since it seems not to work anymore