Suggest a correction

For robot holiday-robotics-friday. Add an HTTPS source so moderators can verify the suggestion.