Adjust very old question about proving string equalities to mention the srw_ss() etc.