Nevermind. We found out after some inspection that it's not used anywhere.