Read-only release history for Bit-Vector-Named