Home, End, Page Up, Page Down keys for Logitech K380 (with Logitech Options uninstalled for fn and installed for option)

left_fn.json

{
    "title": "Home, End, Page Up, Page Down keys for Logitech K380 (with Logitech Options uninstalled)",
    "rules": [
        {
            "description": "Change left arrow + fn to home",
            "manipulators": [
                {
                    "type": "basic",
                    "from": {
                        "key_code": "left_arrow",
                        "modifiers":{ "mandatory":["left_option", "left_shift"]}
                    },
                    "to": [{"key_code": "home"}]
                }
            ]
        },
        {
            "description": "Change right arrow + fn to end",
            "manipulators": [
                {
                    "type": "basic",
                    "from": {
                        "key_code": "right_arrow",
                        "modifiers":{ "mandatory":["left_option", "left_shift"]}
                    },
                    "to": [{"key_code": "end"}]
                }
            ]
        },
        {
            "description": "Change up arrow + fn to page up",
            "manipulators": [
                {
                    "type": "basic",
                    "from": {
                        "key_code": "up_arrow",
                        "modifiers":{ "mandatory":["left_option"]}
                    },
                    "to": [{"key_code": "page_up"}]
                }
            ]
        },
        {
            "description": "Change down arrow + fn to page down",
            "manipulators": [
                {
                    "type": "basic",
                    "from": {
                        "key_code": "down_arrow",
                        "modifiers":{ "mandatory":["left_option"]}
                    },
                    "to": [{"key_code": "page_down"}]
                }
            ]
        }
    ]
}

left_option.json

{
    "title": "Home, End, Page Up, Page Down keys for Logitech K380 (with Logitech Options installed)",
    "rules": [
        {
            "description": "Change left arrow + left option to home",
            "manipulators": [
                {
                    "type": "basic",
                    "from": {
                        "key_code": "left_arrow",
                        "modifiers":{ "mandatory":["left_option"]}
                    },
                    "to": [{"key_code": "home"}]
                }
            ]
        },
        {
            "description": "Change right arrow + left option to end",
            "manipulators": [
                {
                    "type": "basic",
                    "from": {
                        "key_code": "right_arrow",
                        "modifiers":{ "mandatory":["left_option"]}
                    },
                    "to": [{"key_code": "end"}]
                }
            ]
        },
        {
            "description": "Change up arrow + left option to page up",
            "manipulators": [
                {
                    "type": "basic",
                    "from": {
                        "key_code": "up_arrow",
                        "modifiers":{ "mandatory":["left_option"]}
                    },
                    "to": [{"key_code": "page_up"}]
                }
            ]
        },
        {
            "description": "Change down arrow + left option to page down",
            "manipulators": [
                {
                    "type": "basic",
                    "from": {
                        "key_code": "down_arrow",
                        "modifiers":{ "mandatory":["left_option"]}
                    },
                    "to": [{"key_code": "page_down"}]
                }
            ]
        }
    ]
}

right_option.json

{
    "title": "Home, End, Page Up, Page Down keys for Logitech K380 (with Logitech Options installed)",
    "rules": [
        {
            "description": "Change left arrow + right option to home",
            "manipulators": [
                {
                    "type": "basic",
                    "from": {
                        "key_code": "left_arrow",
                        "modifiers":{ "mandatory":["right_option"]}
                    },
                    "to": [{"key_code": "home"}]
                }
            ]
        },
        {
            "description": "Change right arrow + right option to end",
            "manipulators": [
                {
                    "type": "basic",
                    "from": {
                        "key_code": "right_arrow",
                        "modifiers":{ "mandatory":["right_option"]}
                    },
                    "to": [{"key_code": "end"}]
                }
            ]
        },
        {
            "description": "Change up arrow + right option to page up",
            "manipulators": [
                {
                    "type": "basic",
                    "from": {
                        "key_code": "up_arrow",
                        "modifiers":{ "mandatory":["right_option"]}
                    },
                    "to": [{"key_code": "page_up"}]
                }
            ]
        },
        {
            "description": "Change down arrow + right option to page down",
            "manipulators": [
                {
                    "type": "basic",
                    "from": {
                        "key_code": "down_arrow",
                        "modifiers":{ "mandatory":["right_option"]}
                    },
                    "to": [{"key_code": "page_down"}]
                }
            ]
        }
    ]
}

hi! could you explain the installation process? thanks!