Bugs

Observed bugs can be reported here.