default packages file: mention checking in

Fixes #3127.