Looks like @eppur hasn't received any replies!