Writing the "full module path" has a lot of appeal. As long as we can still read old JLD files (and the version number might help?), then I don't think we should hesitate to change the write format.

But I haven't had time to digest this thoroughly, so this may be naive.