@cs278 can you maybe shed some light on this / if we can safely remove it?