eval/location_props: always produce YXML markup, independent of print_mode;
eval/location_props: always produce YXML markup, independent of print_mode;

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