Fixes #5729: Add a 'Parameters' section in the documentation