Holiday break for releases

[Marc_van_der_Wijst]

Due to the Christmas holiday, there is only an API release:

• API version 0.1.80 (details)