A lightweight span-annotation widget for interactive Python environments