On 6/25/21 3:11 PM, Martin Liška wrote: > List of known issues (planned to be fixed after merging): I forgot about: - diagnostics URL (for e.g. warnings) needs to be adjusted Martin