what are guidelines for when to split a module into a package?

[Timon Gehr]

On 22.02.2018 08:13, Timothee Cour wrote:
> Advantages of splitting:
> ...
> * easier to edit (no need to scroll much to see entirety of module
> we're editing)

I don't think this particular point is true. Splitting can actually make 
editing slightly harder. Scrolling is an inefficient way to find the 
definition to edit; just search the file for the definition.