I think this deserves a comment about the API of module_info.