renamed empty to none; added ignore, ignore_interest, ignore_interest';
renamed empty to none;
added ignore, ignore_interest, ignore_interest';

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle