Fix help doc header to look right in ":help local-additions"