Raspberry Pi port, piCore-15.0 is available!
This is a bit preliminary, but it appears that hitting Ctrl+F (Find...) is restoring the lost "Bookmark Page" option.