Dr Azzy ATtinycore: boards unavailable?

Remembering that after two months is a bit difficult :wink: But it might be Arduino boards v1.8.6: export compiled binary question.