Moritz Firsching

add `JxlDecoderGetBoxSizeContents` api function

2

We have `JxlDecoderGetBoxSizeRaw`, but it would be more useful to have an API function `JxlDecoderGetBoxSizeContents` that returns the size of the payload without the headers. i.e. JxlDecoderGetBoxSizeContents = JxlDecoderGetBoxSizeRaw -...

Fix XYB output space in general

3

See https://github.com/libjxl/libjxl/pull/2927#discussion_r1390772591

DO NOT SUBMIT! This is a continuous test to automatically detect failures when using version 1.0.7 of the highway submodule. There is a [test_new_highway action](https://github.com/libjxl/libjxl/actions/workflows/test_new_highway.yml) that pulls in changes and...

Clarify the behaviour of the JPEG XL memory manager

2

At the moment, it is not used for most (all?) allocations. Either use it for everything, or document this fact.

Are there plans to support `library_note` in the same way it was for lean3 (ctrl-click on the note to jump to it). See https://github.com/leanprover/vscode-lean4/blob/e0870d3eba00985f17563bdc1ce990964cb0952e/vscode-lean4/old/src/librarynote.ts