Bug will be permanently deleted from curry-frontend. This cannot be undone.

Documentation will be permanently deleted from curry-frontend. This cannot be undone.

Feature will be permanently deleted from curry-frontend. This cannot be undone.

Refactoring will be permanently deleted from curry-frontend. This cannot be undone.

Enhancement will be permanently deleted from curry-frontend. This cannot be undone.