Add the original author of profile.py back to the docs, at his request. (Merge)