AutoElectron beachhead OK