More robust html striping in the frontend (deals with &nbsp; and similar), and proper title cascade in the synthesis panel