New search is working cool! Static site generator is also a good idea. We moved there a long time ago and have split the marketing part and documentation to different teams.