Re: Some developement questions

[Eli Zaretskii]

> From: Joost Kremers <address@hidden>
> Cc: address@hidden
> Date: Sun, 09 Sep 2018 22:07:08 +0200
> 
> Anyway, it was just a quick remark, I didn't give it much thought. 
> If there's some interest, I wouldn't mind putting some ideas 
> together, though.

I think we should consider such a feature, at least as an option if
not the default.  So if you have time to come up with some ideas,
please do, and thanks.