Man pages matching name devtodo in section 1:

devtodo.1.en	debian 10 / devtodo
devtodo.1.en	debian 11 / devtodo
devtodo.1.en	debian 12 / devtodo