Manual: add information about //!

Fixes #16569