Currently a ton of numbers are listed on one HTML page.
For discussions on the mailing list and from Github issues it would be good to be able to link to specific sections or maybe even table entries using static URLs ... we should add this somehow to the HTML we generate.
Currently a ton of numbers are listed on one HTML page.
For discussions on the mailing list and from Github issues it would be good to be able to link to specific sections or maybe even table entries using static URLs ... we should add this somehow to the HTML we generate.