Suggest a correction

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