GitHub issue thread on naming.