Could be possible to write these extensions as bash plugin libraries -- I've long thought about adding such features this way, but haven't had the time or press

Could be possible to write these extensions as bash plugin libraries -- I've long thought about adding such features this way, but haven't had the time or pressure enough to really need it yet.