revert to #lang setup/infotab