(minor) moved ignore-context function from F to Q