On 04/04/2018 06:44 AM, Eli Zaretskii wrote:
> Then I think we should install it.

OK, I installed the attached into master.