If you encounter something you suspect is a bug, please file a bug report using the topic named 'Reporting bugs' in the forum.

Additional information