Re: A minor bug in doc. Hovering over heading shows # besides it.

On Thu, 18 Jul 2024 at 19:46, Daniel Gustafsson <daniel@yesql.se> wrote:
> There is a lot of variability though so
> whichever we choose it will be wrong one for someone.

I think the tooltip would help reduce the chances of someone being
confused.  For an example, see [1].

David

[1]
https://devblogs.microsoft.com/cppblog/accelerating-compute-intensive-workloads-with-intel-avx-512/#test-system-configuration