On 3. Mar 2018, at 00:21, Tomaž Cerar <tomaz.cerar(a)gmail.com>
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.