Known issues

Last modified on Wed Jul 27 16:44:24 2022 UTC.   Improve this page

Major bugs

(none so far)

Annoying bugs

(none so far)

Other problems

(none so far)

Advices (to avoid problems)

(none so far)