We also need "bash/console" and "html" and "javascript", unless those are already included in the base prettify ?