Docs: remark about name "Camera".

5 jobs for master in 8 minutes and 33 seconds (queued for 8 seconds)
Status Job ID Name Coverage
  Build
passed #6439
fp-timing
build-coq.8.6.1

00:03:01

passed #6438
fp-timing
build-coq.8.7.0

00:02:49

 
  Deploy
passed #6440
opam

00:00:14

passed #6441
reverse-deps

00:00:13

 
  Build More
passed #6442
fp-timing
build-coq.8.7.dev

00:03:02