Read-only release history for Unicode-SetAutomaton