Add nothing option to store_path

[davidanthoff]

First PR of a group that makes the symbol store last beyond extension version updates.