It seems like we could actually just make this a normal ```<h1>``` element now rather than having a div with specific styling. That is, unless you explicitly want this title smaller than the ones used for say the plugin list or the project editor. If that's the case, why?