[github-actions]

Merging this releases v1.2.1: the merge commit is tagged, and the installers for every platform are attached to a pre-release, published once they're attached.

Pull requests opened by a workflow don't start the checks: close and reopen this one to run them.

Changes since v1.2.0:

• Potential fix for code scanning alert no. 8: Incomplete string escaping or encoding
• Potential fix for code scanning alert no. 7: Cache Poisoning via execution of untrusted code
• Added View → Appearance: System, Light or Dark
• Added a script that records the clips of the Policy Builder web page
• docs: The screenshots cover each configuration, close-ups and a project
• docs: The block reference keeps its hand-written pages and lists them
• docs: The block reference names options and defaults by their labels
• docs: The block reference's examples are compiled from their own list
• Install Package and Remove Package can choose the package manager
• A text parameter with options and other_label takes a value of its own
• Block descriptors can name a body by a parameter's value (body_param)
• A file condition reads as the guard on all of the file's promises
• Keyboard shortcuts lists the side bar, Blocks and files, and Modules keys
• Deployment: The success notification's close button is white, as its text
• Deployment: A project not saved to a folder yet isn't shown as all saved
• Renamed the demo to Nginx Web Server: it does more than hardening
• The demo project's configurations are laid out as Tidy up does
• blocks: Added help, with an example, to the parameters that had none
• New arrows wait for their block to succeed: kept or repaired
• The block reference's tables have their columns padded to one width
• Added a script that takes the documentation's screenshots
• Added a generator for the documentation's block reference