Looks like @michor hasn't received any replies!