5.3.0

This release fixes a couple of instances of missing capitalization for "Number Man", one of which was noticed by @LordXamon in #38.