Perhaps the "SGI TODO" is not needed any longer?
Authored by: debug 2018-11-12
Parent: [r6098]
Child: [r6100]