py: Change obsolete "///" comment formatting to normal comments.

This comment style is no longer used because the docs are written by hand,
not generated.