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

 > Simen, would you please install this?

Done!

-- Simen