The 5W-40 HDEO should be a good pick for what's now an old small displacement four.
If the engine seems fine with it, I'd not worry about what was recommended for it more than twenty years ago.
I remember these little things from way back when.
Can't be many left on the road.
i bought it used with a little over 205,000 miles it runs great with no noise or any smoke and doesn't leak anything either. when i first had it on cold mornings it would have valve chatter for about 10-15 seconds then would disappear. but after the first oil change it went away and the old oil was thick and nasty.
not sure what the prev owner used but it smelled burnt.