Removes development mode from the documentation

It was generating some confusion, and it is not to be used by regular
users, so I guess we can just hide it.