Nieuwe Linux Terminal-app voor Android: Verbetering van de ontwikkelaarservaring