Introduce usagef() that takes a printf-style format