Text this: Derived algebraic geometry over En̳-rings