main: help now automatically displays supported machines and frontends.