Remove battery mode. Add Agda and Coq settings.