Docs search seems to be missing on Android (and mobile view on chrome desktop)
it is at right side... but should be better when it is like the docs in the editor..
Oh - so way over on the right... it is not like that on apple - so @karelrosseel82 - can you please contact Google and tell them they have a bug.