Ad-hoc releases 2020

Date Description

Up to now, no relevant announcements have been released.