The installed manifest is a different file, so they should have different names. This should prevent various wierd conflicts in the future.
The installed manifest is a different file, so they should have different names. This should prevent various wierd conflicts in the future.