v0.2.3: updated a TODO