Notes concerning “Android”

• Fast geographical maps on Android 2015-10-16 (9 minutes)
• Notes on local file browsing 2019-09-15 (updated 2019-09-28) (4 minutes)