Looks like @droz hasn't received any replies!