I thought proper "lino" had vanished years ago along with bakelite... is
it still around as such? I think most laymen use it to refer to any
form of sheet-type floor covering, don't they?

I think it refers to products such as marmoleum, which are still made
from linseed oil and wood flour.