On Mon, Jan 30, 2012 at 20:27 -0500, you wrote: > Thus, `include_footer` seems like it'd be sane to me. Or just rename into a single one like "include_format" Robin -- Robin Sommer * Phone +1 (510) 722-6541 * robin at icir.org ICSI/LBNL * Fax +1 (510) 666-2956 * www.icir.org