More housekeeping: remove nose and unused cruft.