Looks like @raffael hasn't received any replies!