We have already made the implicit decision not to pursue what the comment describes. If we ever revisit it, it probably won't be handled where the comment is anyway.