On 3. Mar 2018, at 00:21, Tomaž Cerar <tomaz.cerar@gmail.com> wrote:

How much extra fat would that bring to the server distribution?

The current console is about 10 MB, HAL.next is something around 7 MB.

So if we replace the console we would save 3 MB, if we keep both that

would add 7 MB.

// Harald