default banner and better LongTitle
simplified code in HomalgFiltrationFromTelescope