jax icon indicating copy to clipboard operation
jax copied to clipboard

Published 20 hours ago • verified publisher icon google

docs: batched wording edits

Open froystig opened this issue 5 months ago • 0 comments

This is a batch of individually minor edits that aim for easier/clearer reading and some decluttering of titles and headings (which hopefully also helps in indices and in our navigation panel).

froystig avatar Aug 28 '24 18:08 froystig