A set of utilities handling injection of security banners into an HTML page