D droctothorpe.github.io Agentic development environment extension taxonomy 1 points droctothorpe 7 months ago 1 comments