Read-only release history for HTTP-MobileAgent-Plugin-Extension