v4.0.0

Changed

• Drop the prefix 'd' on district number
• Require at least PHP 8.1

Fixed

• Reduce ZIP file size by excluding development files
• Set required PHP and WordPress version in Plugin attributes ⇒ now visible during Plugin installation
• Update Author Link in Plugin attributes
• Add missing setup information about Google Maps API key

internal

• Upgrade wp-coding-standards/wpcs 3.0.{0→1}
• Refactor and update GitHub Actions