Merging develop into main

• Fix typos
• Updates
• Undo plugin toc update
• More updates

enabled an automatic merge when the pipeline for 728d4dee succeeds

mentioned in commit 76a36b9a

merged