> Please report user interface bugs using GitHub issues. We are aware that the menus require a long press on iPhone/iPad (and maybe Android) and we are working to fix that.

in case anyone else didn’t notice this. wonder how that got messed up. seems like a simple, practical website.