Suggest a correction

For robot elephant-robotics-p5. Add an HTTPS source so moderators can verify the suggestion.