What are the dimensions of a Lego brick? | Hacker News Reader