Post merge changes to the make element

Fix some of the issues in premature merge of !484 (merged).

  • Add links in docs
  • Bump format version for new plugin
  • Add NEWS entry
  • Add support for PREFIX

This MR essentially extends !484 (merged).

Merge request reports

Loading