Looks like @glc hasn't received any replies!