- edited INSTALL file
- filtered non-interesting boards from 2013127181824.scm into
  2013127181824_filter.scm