But typing shift-7 is so much harder than shift-. :) In the interest of simplicity, why don't you provide wrapper shell for the background:

#! /bin/bash
realProgram $* &> /dev/null &
[download]

Then they don't have to mess with any of those pesky non-alphanumerics at all :)