You can either change the source, or comment on it, or add a css selector to it, or add a JS library, such as jQuery, and delete it when the page loads through something like:
$(function () { // untested $('#navcolumn h5:contains("Maven")').hide(); // hide the header $('#navcolumn h5:contains("Maven") + ul ').hide(); // hide the ul })();
source share