Extension-push does not request proper permissions on Android 14 (possibly earlier versions too)

[wychwitch]

Hello! After following the documentation on local notifications to no avail, someone in the discord suggested I try to use the example, which also failed to schedule any notifications. It was only after checking the permissions on my phone I noticed it had no permissions granted whatsoever. It was only after manually adding the extension-permissions dependency and requesting the POST_NOTIFICATIONS permission did it work!

I think either the documentation, the extension, or both needs updating.