Known issues

Last modified on Sat Jul 22 11:30:02 2023 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)