These are the priorities to try to make progress on before the start of 2018. Some of these are needed for educational users in the January-April semester, Pull requests should be in by the end of December.