Adding helpful comments to modified web2py files.

This should help future maintainers to make sense of our changes and
how/whether to apply them in later versions of web2py.