Yes, the developer can come out coloured, no worries. As you say, it is the anti-halation layer. I try to be careful to not overuse the fixer and rinse well. That has solved any problems with the tint thus far for me.