Read-only release history for TeX-Encode