Read-only release history for Padre-Plugin-HTMLExport