Comment by MrXOR

Sorry for unrelated question: Paul (@pg) is not very active on HN, unlike Twitter. Why?