Summary of changes: 4b02d33... - Treat boards.txt and programmers.txt as config files (#72 (*) c74816a... Change the default preferences so that we don't notify the (*) db0cd4c... Bump release number. (*) (*) This commit already existed in another branch; no separate mail sent