Suggest a correction

For robot alpha-robotics-ciao. Add an HTTPS source so moderators can verify the suggestion.