`normfro` should also be removed from exports.jl.