change < and > to [ and ] for html markup reasons; clarify answer to benchmark puzzle; add bits about symbolic optimisations and tensor support as nice-to-have