3 ms·

Wouldn’t it also be puzzling if someone posting with that username on Hacker News doesn’t know what GitHub is?