Comment by valgaze

This is an interesting read: https://news.ycombinator.com/hn.js?fviVA4TBdTrpMa3yBUk0:

function $(id) { return document.getElementById(id); }