📊 Quantitative test results for language: eng, year: 2023, size: 10K, paranoia level: 1:
🚀 Quantitative testing did not detect new false positives

I think it makes sense to add both set of commands. We are already using $ to prefix the actual command name, so the FP rate should be mostly non-existant.

One thing you can do is get the commands from the markdown page (e.g. https://www.mongodb.com/docs/manual/reference/operator/update.md) and filter the names. A simple command to perform this is:

curl https://www.mongodb.com/docs/manual/reference/operator/update.md | grep -o '\[\`$.*\`\]' | cut -f2 -d\`

You'll need some cleanup afterwards, but you get the idea. 😄

@fzipi need your approval.

Looks good. Can you please add a description on the .ra stating there these commands are coming from? I would like to see the urls you checked (e.g. https://www.mongodb.com/docs/manual/reference/operator/update.md) listed so anyone in the future can update this list. If you want to include the curl command it is file also.