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