Thanks for your tips :-) I have been trying both Anytype and Joplin, and might use either, but they seem to be primarly note apps not task/todo/reminder/list/priority apps.

Your first links looked interesting, so I will do some research on them.

Any iOS alternative to Google Tasks?

TLDR: «lucky» because the stewards would have given a 10 seconds penalty instead of 5 seconds if it was not the first lap.