Looks like @eide hasn't received any replies!