Looks like @karolh hasn't received any replies!