basic-wrangler (pypi): A BASIC program listing line renumberer/cruncher (aka, a minifier).
Keywords: basic|cruncher|development