gustafn
committed
on 12 Jun 18
remove obsolete page "paramter-set" as indicated by vguerra several years ago