Paul Eggert <eggert@cs.ucla.edu> writes:

> Simen, would you please install this?

Done!