Add instructions about direnv allow