Fixes link to structured typesetting version of the HTML pages#3611

tirix merged 1 commit intometamath:developmetamath/set.mm:developfrom

tirix:sts-linktirix/set.mm:sts-linkCopy head branch name to clipboard