To free up some space for use in the debian mirror on developer, I want to remove /skolelinux/developer/temp/. Are anyone still using it? I'll remove it in a week if I do not hear any protests.