fix(hott/init/hedberg): remove unnecessary import