Known issues

Last modified on Tue Jan 11 20:47:18 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)