Looks like @hoffmann hasn't received any replies!