Although redirect.c is included and printf() calls use the uart as expected, fgets() calls don't seem to be able to detect incoming characters.
This isn't critical, since I just wrote a quick wrapper for the app_uart_get() function that does exactly the same thing, but clearly I'm missing something in how the redirect works.