Looks like @karkh hasn't received any replies!