9.18.0 (2023-05-22)

Features

• plugin: added support for weak specs. They will not be included in the final spec if not specified somwhere else (8564f6d)

Bug Fixes

• better weak handling (af39d61)
• ui: close ui when opening a help file. Fixes #808 (cc7a764)
• ui: take border into account for window position. Fixes #812 (451f217)