Deleted GRstarred2html.js