I do recall him once self-labeling as "small-l libertarian", which very much implies non-hardcoreism

I do not think this is true. I think it just implies non-affiliation with the Libertarian Party. Many hardcore libertarians reject the Libertarian Party.