This adds documentation for the unload_compiler() method in the platform class.
This adds documentation for the get_extension_function_address() method in the platform class.
This removes the documentation for the non-existent platforms() and platform_count() methods in the platform class. These methods have been moved to the system class and are documented there.