No, this is the right place! Hopefully the comments, at least, are better now. The small font is supposed to be a separate option from the regular font sizes; it's just that we've been testing it on Worksafe. I've asked Squeaky to try and run up the separate template for it soon, because I know a lot of people do want the normal sized fonts, but he's working on the server right now so it might take a little while.