Hacker News new | ask | show | jobs
by pwdisswordfish2 2170 days ago
This will also work:

   sed '/^#\{3\}/!d'