I’ve just refreshed the whole website content. Loads of typos fixed, c.250 more (manually added!) cross-ref links.
No major changes, just a lot of fixes clarifications. In the Operator list, the dot-operators that produce styled text (i.e. RTF) output—which can only be passed to $Text—have been re-titles StyledString.bold
from String.bold
and there is a linked note explaining the nuance.
DuckDuckGo search should now work on all pages. At least, despite the caption, it searches the ‘atbref9’ sub-site but not the ‘tb_clarify’ one. Due to limitations of how DDG implements in-page search the URL for two limiting domains gets mangled and I’ve not the interest to post-process the pages to try and fix each. At the next refresh the DDG search will be coded only for the ‘atbref9’ sub-site. Oh well, I tried.
As ever, I do want to hear about breakages† and typos/errors.
† Of late, my otherwise excellent FTP client (Panic’s Transmit) has been dropping files out of the sync or occasionally uploading a part/broken file. Never a dull day…