Raspberry Pi port, piCore-15.0 is available!
Fixed on server side. To get your tags.db reloaded, either reboot, rm /tmp/tags.db, or wait 5 hours!