homepage

In other words, change
'''
type(object)
 Return the type of an object. ...
 ...
 With three arguments, type() functions as a constructor as detailed below.
type(name, bases, dict)
 Return a new type object....
'''
to something like
'''
type(object)
type(name, bases, dict)
 With one argument, return the type of an object. ...
 
 With three arguments, return a new type object. ...
'''
Now that we are using double headers elsewhere, I agree we should do so here also.