I assume that the web gateway isn't a place where we can simply use Django's `filesizeformat` builtin.