07-23-2023, 03:44 AM
You cannot rename the default library at the moment. As far as the issue you encountered, I'm not really sure I can explain that, as I've never seen that happen while testing on any platform. I'll run some tests to see if I can figure out any way to reproduce what you've described.
Mike
Mike