Unrelated to this PR, but this comment seems super old and no longer relevant -- might be good to deleted