core.py: add correct support for plusargs core info