Added: Parameter javascript in config file for optionally specifying the
URL or path of the Mermaid javascript library.
Changed: Parameter extra_javascript in config file is DEPRECATED,
for optionally specifying the URL or path of the Mermaid javascript library
Changed: Updated documentation.