Improve the Prelude doc header; part of #7108