Looks like @totolino hasn't received any replies!