About the Bugs category

[michalis]

Please report a bug if you spot it! You can also submit bugs as GiHub issues.