Adding Ondrej as a developer