Redirecting to Servo, subsumption, and symbolic architecture