current commit

240829.1 · Merge branch 'upstream'

<(git log)

• ../
• algorithm.rst
• changes.rst
• custom.rst
• embedding.rst
• implementation.rst
• index-instructions.py
• index-rules.rst
• index-types.rst
• index.rst
• properties.rst