Highly belated removal of \smaller, \smallest from API.