Sanitize IDs when fetched from options

Who knows what nasty things are hiding there? absint and array_filter to
get rid of any bad stuff.