Generate valid markup in the "inactive modules" widget (see #6791)