substitute: underline the substitution
substitute: underline the substitution

Former-commit-id: 2b95a5f1e1187bffbb6d283a2043a4b82bc37bf1 [formerly c6a39930418b8cd85cfd35330fdf0b32fed2dc5f]
Former-commit-id: aea4479130a0bfe3a58c3a4d395f726137fad865
torhve/ivar2,torhve/ivar2,haste/ivar2,torhve/ivar2